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.
CC @Karl Palmskog
Do we have to update the templates as well?
@Théo Zimmermann what do you mean?
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: Dec 07 2023 at 04:02 UTC