[CI] Update Nix toolbox #30
Triggered via pull request
October 30, 2024 07:16
proux01
Status
Success
Total duration
1h 21m 9s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request
coq
34s
mathcomp-single
7m 56s
QuickChick
1m 40s
autosubst
1m 10s
deriving
1m 43s
reglang
1m 35s
relation-algebra
2m 9s
interval
2m 39s
fourcolor
16m 4s
coq-bits
3m 44s
mathcomp-altreals
4m 49s
coqeal
3m 20s
mathcomp-analysis-stdlib
11m 47s
odd-order
11m 23s