Stream: math-comp devs

Topic: Nix / Cachix CI errors

view this post on Zulip Pierre Roux (Jan 24 2022 at 10:05):

I have some Nix / Cachix issues on math-comp/abel CI I don't understand (e.g. https://github.com/math-comp/Abel/runs/4906819562?check_suite_focus=true ) does that ring a bell to anyone ? (maybe @Cyril Cohen or @Théo Zimmermann )
I updated to the latest coq-nix-toolbox, so everything should be up to date.

view this post on Zulip Théo Zimmermann (Jan 24 2022 at 10:12):

You shouldn't worry about errors in the pull_request_target workflows when you have updated the toolbox and the actions: only the ones triggered with the pull_request event are actually using your updated workflows.

view this post on Zulip Pierre Roux (Jan 24 2022 at 10:20):

Ok, thanks

view this post on Zulip Cyril Cohen (Jan 24 2022 at 10:53):

I think we must update cachix-action to v10 in the toolbox...
Oh it's already done, @Théo Zimmermann answer is the good one :smile:

Last updated: May 31 2023 at 10:01 UTC