Stream: Coq devs & plugin devs

Topic: Mac CI in fork branch


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Gaëtan Gilbert (Jan 09 2023 at 12:14):

it ran for windows too afaict https://github.com/palmskog/coq/actions

view this post on Zulip 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: Apr 21 2024 at 01:02 UTC