I pushed a branch to my
coq fork without opening a PR (needed to do some final fixes on a different computer before opening PR). This branch push triggered a Mac CI run. Is that really supposed to happen? No other CI but Mac was triggered.
This sounds strange, because I cannot see the configuration difference that would make, e.g., the Windows workflow not trigger but the macOS trigger: https://github.com/coq/coq/tree/master/.github/workflows
Anyway, you can disable any GitHub Action run on your fork by going to your fork's settings.
here is the run: https://github.com/palmskog/coq/actions/runs/3869175946
OK, I will disable in my fork, just surprised about the selective CI.
it ran for windows too afaict https://github.com/palmskog/coq/actions
it's just that the windows job doesn't run the test suite so it didn't fail (and I guess didn't notify)
Last updated: May 31 2023 at 15:01 UTC