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.
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.
I think we must update
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