Stream: Nix toolbox devs & users

Topic: Recent github action failures


view this post on Zulip 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.

view this post on Zulip Cyril Cohen (Mar 02 2023 at 19:05):

CC @Karl Palmskog

view this post on Zulip Théo Zimmermann (Mar 03 2023 at 08:57):

Do we have to update the templates as well?

view this post on Zulip Cyril Cohen (Mar 06 2023 at 10:22):

@Théo Zimmermann what do you mean?

view this post on Zulip 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: May 19 2024 at 16:02 UTC