[CI] Update Nix toolbox #98
Triggered via pull request
October 30, 2024 07:37
proux01
Status
Success
Total duration
1h 23m 19s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request
coq
1m 28s
interval
4m 13s
mathcomp-altreals
3m 34s
coqeal
5m 28s
mathcomp-analysis-stdlib
11m 28s
odd-order
12m 2s