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 !
@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.ymland the CI ran without trouble and we were able to use the generated artifacts on a mac.
Last updated: Dec 05 2023 at 04:01 UTC