coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Duplicate all CI jobs to also run on macOS.

Open Zimmi48 opened this issue 4 years ago • 3 comments

Maybe this should be a config option so that projects whose main contributors all use the same system (Linux or macOS) do not actually duplicate the jobs they run?

Zimmi48 avatar Jul 01 '21 18:07 Zimmi48

Good point

CohenCyril avatar Jul 01 '21 18:07 CohenCyril

I ran into this today, had to rebuild compcert because I was on macOS.

siraben avatar Jul 21 '21 14:07 siraben

If you happen to have time for this, feel free to open a PR, it should be relatively easy to implement

Zimmi48 avatar Jul 21 '21 18:07 Zimmi48