Cyril Cohen (Mar 02 2023 at 19:04): Cyril Cohen (Mar 02 2023 at 19:04):Recently, all nix CI based on the toolbox started failing, most probably due to a change in github action.
I fixed the problem in the toolbox, but everyone needs to update their setup to the latest toolbox.
One needs to run
nix-shell --arg do-nothing true --run "updateNixToolBox & genNixActions"
Commit the generated files and push.
Cyril Cohen (Mar 02 2023 at 19:05):CC @Karl Palmskog
Théo Zimmermann (Mar 03 2023 at 08:57):Do we have to update the templates as well?
Cyril Cohen (Mar 06 2023 at 10:22):@Théo Zimmermann what do you mean?
Théo Zimmermann (Mar 06 2023 at 10:23):I was wondering if I should open a PR like this one: https://github.com/coq-community/templates/pull/120
But I assumed yes, so I did open it.
Last updated: Oct 13 2024 at 01:02 UTC