coq-nix-toolbox
coq-nix-toolbox copied to clipboard
coq-community
Generate GitHub workflows on Ubuntu and macOS.
@siraben: In principle, everything has been uploaded to the coq-community Cachix already, so you should be able to start taking advantage of it (without waiting for this PR to be merged).
@Zimmi48 I have the coq-community cachix in my Nix config, but I can't seem to avoid rebuilding coqPackages.VST.
That's not surprising, since we haven't updated this PR in five months. I will take Cyril's comment into account and rebase this.
I have implemented the suggested change. I have kept the behavior of genNixAction unchanged (doesn't produce cross-platform workflows and doesn't change their title) and introduced a new function genCrossPlatformNixAction that generates workflows for Ubuntu and macOS with information on the platform in the workflow name.
Instead, we could also decide to set this in .nix/config.nix (it would probably make a lot of sense if it was set there) but I haven't really looked yet for the implementation logic that would make that possible.
Something else that we could decide is to restrict on which events we run the macOS workflows (e.g., to avoid delaying PR CI).
@CohenCyril There were three failures, all in the Cachix install step, all on the macOS platform:
- https://github.com/coq-community/coq-nix-toolbox/runs/4649853564?check_suite_focus=true
- https://github.com/coq-community/coq-nix-toolbox/runs/4649788595?check_suite_focus=true
- https://github.com/coq-community/coq-nix-toolbox/runs/4649799155?check_suite_focus=true
Should we report them to Domen?
I encountered a similar failure recently, what if you bump the cachix action to v16?
We're already using v16 for the install-nix-action, and v10 for the cachix-action, which are the latest versions AFAICT.
BTW, @siraben the VST jobs on macOS for Coq 8.12 and 8.13 (the only ones that exist AFAICS) have completed, so they should be available in Coq-community's Cachix.
There were three failures, all in the Cachix install step, all on the macOS platform
It happened again:
- https://github.com/coq-community/coq-nix-toolbox/runs/4666174442?check_suite_focus=true
- https://github.com/coq-community/coq-nix-toolbox/runs/4668651196?check_suite_focus=true
cc @domenkozar
(We do not get such failures anymore in Ubuntu since the last install-nix-action update, but they still often happen on macOS apparently...)
