Skip to content
This repository has been archived by the owner on Aug 29, 2023. It is now read-only.

Migrate CI to GitHub Actions #32

Merged
merged 5 commits into from
Jun 11, 2021
Merged

Migrate CI to GitHub Actions #32

merged 5 commits into from
Jun 11, 2021

Conversation

bmaupin
Copy link
Owner

@bmaupin bmaupin commented Jun 11, 2021

Closes #31

@coveralls
Copy link

coveralls commented Jun 11, 2021

Coverage Status

Coverage remained the same at 82.436% when pulling fa3429d on 31-migrate-ci into 532fd5e on main.

@bmaupin bmaupin force-pushed the 31-migrate-ci branch 3 times, most recently from 2840003 to 8cbdcd6 Compare June 11, 2021 18:21
@bmaupin bmaupin merged commit 75b268c into main Jun 11, 2021
@bmaupin bmaupin deleted the 31-migrate-ci branch June 11, 2021 18:43
@bmaupin bmaupin mentioned this pull request Jun 14, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Migrate CI
2 participants