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

Update CI so that it runs on pushes and PRs #3

Merged

lights0123 merged 1 commit into lights0123:master from nicholasbishop:bishop-ci-runon

Nov 28, 2022

Contributor

nicholasbishop commented Aug 26, 2022 •

edited

I think currently the CI isn't running for PRs or pushes to master, I think this change should fix that.


          Update CI so that it runs on pushes and PRs

b5eeaa2

Contributor

reitermarkus commented Aug 31, 2022

CI was disabled automatically since there haven't been any PRs in the last 60 days.

@lights0123 can you enable CI again and take a look at the open PRs?

lights0123 merged commit 5f5c9cc into lights0123:master

nicholasbishop deleted the bishop-ci-runon branch

November 28, 2022 22:38

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