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

Migrate to GitHub Actions from CircleCI #11

Merged

legoktm merged 1 commit into main from github-actions

Dec 8, 2023

Contributor

leee commented Dec 8, 2023

CI: disable CircleCI, set up GitHub Actions

CircleCI disabled
branch protection rules don't exist in this repo, so not adding any.


          Migrate to GitHub Actions from CircleCI

c6bbff1

leee force-pushed the github-actions branch from 31f19d7 to c6bbff1 Compare

December 8, 2023 22:44

legoktm approved these changes

View reviewed changes

legoktm merged commit 248aa9c into main

2 checks passed

legoktm deleted the github-actions branch

December 8, 2023 22:50

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet