Karl Palmskog (Jan 09 2023 at 09:46): Karl Palmskog (Jan 09 2023 at 09:46):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.
Théo Zimmermann (Jan 09 2023 at 12:09):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
Théo Zimmermann (Jan 09 2023 at 12:09):Anyway, you can disable any GitHub Action run on your fork by going to your fork's settings.
Karl Palmskog (Jan 09 2023 at 12:11):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.
Gaëtan Gilbert (Jan 09 2023 at 12:14):it ran for windows too afaict https://github.com/palmskog/coq/actions
Gaëtan Gilbert (Jan 09 2023 at 12:15):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