Kenji Maillard (May 17 2022 at 14:16): Kenji Maillard (May 17 2022 at 14:16):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 ?
Théo Zimmermann (May 17 2022 at 14:17):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
Théo Zimmermann (May 17 2022 at 14:17):I could rebase it if that's useful.
Kenji Maillard (May 17 2022 at 14:36):That would definitely be useful yes !
Théo Zimmermann (May 18 2022 at 07:07):Done.
Kenji Maillard (May 18 2022 at 12:15):@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: Apr 20 2024 at 10:02 UTC