[CI] Update Nix tooblox #3561
Triggered via pull request
February 18, 2025 15:34
proux01
Status
Success
Total duration
1h 57m 8s
Artifacts
–
nix-action-master.yml
on: pull_request
coq
42s
mathcomp-analysis-single
19m 31s
mathcomp
9m 47s
mathcomp-experimental-reals
1m 46s
mathcomp-analysis-stdlib
9m 49s