Thanks to the great help from @Cyril Cohen and @Théo Zimmermann we now have a working nix CI on the metacoq project with reusable artifacts cached through cachix. For now this seems to work fine on linux but quite a few metacoq developpers are using macOS and I was wondering if it was possible to use the coq-nix-toolbox to generate macOS based CIs ?
Yes, that's possible. I have an unmerged PR that adds this possibility on the Coq Nix Toolbox repo. See https://github.com/coq-community/coq-nix-toolbox/pull/57
I could rebase it if that's useful.
That would definitely be useful yes !
Done.
@Théo Zimmermann I used this branch to generate the workflows for the CI (using nix-shell --arg do-nothing true --run "genCrossPlatformNixActions"
) but something seems to go slightly wrong in the process because the 2 files that got generated were setup to run on ubuntu. I fixed that by hand with a sed -i -e 's/ubuntu/macos' nix-action-default-macos.yml
and the CI ran without trouble and we were able to use the generated artifacts on a mac.
Last updated: Jun 10 2023 at 23:01 UTC