Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

switch CI to GitHub Actions #7

Merged
merged 2 commits into from
Feb 25, 2021
Merged

switch CI to GitHub Actions #7

merged 2 commits into from
Feb 25, 2021

Conversation

vtjnash
Copy link
Owner

@vtjnash vtjnash commented Feb 24, 2021

No description provided.

@coveralls
Copy link

coveralls commented Feb 24, 2021 •
edited
Loading

Coverage Status

Coverage decreased (-0.0%) to 94.915% when pulling 2d202c7 on jn/github-actions into d8d4628 on master.

@vtjnash vtjnash merged commit fe9a2b2 into master Feb 25, 2021
@vtjnash vtjnash deleted the jn/github-actions branch February 25, 2021 03:19
vtjnash added a commit that referenced this pull request Feb 25, 2021
@vtjnash
switch CI to GitHub Actions (#7)
30ac1b3 
And turn on TagBot
vtjnash added a commit that referenced this pull request Feb 25, 2021
@vtjnash
delete old CI files (#7)
aa06fe6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vtjnash @coveralls