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

[CI] Update PR Workflow #10

Merged

MNThomson merged 2 commits into master from ci-pr-workflow

Aug 15, 2022

Owner

MNThomson commented Aug 14, 2022

Description

Change the Misc workflow to a PR workflow that only runs on PR's and doesn't bloat the master runs tab

MNThomson added 2 commits

August 14, 2022 16:36


          Rename to pr.yml

0e598a0


          Update to PR

MNThomson self-assigned this

github-actions bot added the CI/CD label

MNThomson merged commit 94e366a into master

MNThomson deleted the ci-pr-workflow branch

August 15, 2022 16:18

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

Labels