Skip to content

Switch to GitHub Actions for CI #140

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
Merged
merged 1 commit into from
Sep 20, 2019
Merged

Switch to GitHub Actions for CI #140

merged 1 commit into from
Sep 20, 2019

Conversation

nhooyr
Copy link
Contributor

@nhooyr nhooyr commented Sep 20, 2019

Closes #138

@nhooyr nhooyr force-pushed the actions branch 5 times, most recently from 4ed43b9 to 07740f5 Compare September 20, 2019 00:45
@nhooyr nhooyr changed the title Switch to Actions CI Switch to GitHub Actions for CI Sep 20, 2019
@nhooyr nhooyr marked this pull request as ready for review September 20, 2019 00:46
@nhooyr nhooyr force-pushed the actions branch 2 times, most recently from b997b48 to 282ff20 Compare September 20, 2019 00:50
@nhooyr
Copy link
Contributor Author

nhooyr commented Sep 20, 2019

Half as fast but twice as beautiful so it evens out 😛

@nhooyr nhooyr force-pushed the actions branch 2 times, most recently from fcd3db9 to f14c2a1 Compare September 20, 2019 01:02
@nhooyr nhooyr merged commit bb2bb48 into master Sep 20, 2019
@nhooyr nhooyr deleted the actions branch September 20, 2019 01:07
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.

Try out GitHub actions again
1 participant
@nhooyr