Skip to content
Nix CI for bundle coq-8.19

[CI] Update Nix toolbox #250

Sign in to view logs

[CI] Update Nix toolbox

[CI] Update Nix toolbox #250

Triggered via pull request February 25, 2025 13:42
@proux01proux01
synchronize #518
Status Success
Total duration 1h 45m 5s
Artifacts –

nix-action-coq-8.19.yml

on: pull_request_target
coq
39s
coq
hierarchy-builder
1m 23s
hierarchy-builder
mathcomp-ssreflect
6m 3s
mathcomp-ssreflect
mathcomp-single
12m 45s
mathcomp-single
mathcomp-fingroup
7m 1s
mathcomp-fingroup
mathcomp-bigenough
6m 10s
mathcomp-bigenough
QuickChick
6m 20s
QuickChick
mathcomp-finmap
6m 35s
mathcomp-finmap
coquelicot
7m 17s
coquelicot
autosubst
6m 11s
autosubst
deriving
6m 36s
deriving
reglang
6m 53s
reglang
relation-algebra
7m 22s
relation-algebra
mathcomp-algebra
6m 2s
mathcomp-algebra
async-test
1m 37s
async-test
interval
2m 43s
interval
mathcomp-solvable
7m 14s
mathcomp-solvable
mathcomp-classical
9m 29s
mathcomp-classical
mathcomp-zify
6m 21s
mathcomp-zify
fourcolor
17m 50s
fourcolor
multinomials
6m 54s
multinomials
http
1m 53s
http
vcfloat
3m 7s
vcfloat
mathcomp-field
6m 0s
mathcomp-field
mathcomp-reals
5m 39s
mathcomp-reals
mathcomp-algebra-tactics
1m 40s
mathcomp-algebra-tactics
mathcomp-character
6m 2s
mathcomp-character
mathcomp-real-closed
6m 45s
mathcomp-real-closed
mathcomp-reals-stdlib
2m 43s
mathcomp-reals-stdlib
mathcomp-analysis
19m 49s
mathcomp-analysis
mathcomp-experimental-reals
3m 10s
mathcomp-experimental-reals
coq-bits
2m 5s
coq-bits
mathcomp
3m 1s
mathcomp
mathcomp-analysis-stdlib
16m 31s
mathcomp-analysis-stdlib
odd-order
12m 53s
odd-order
Fit to window
Zoom out
Zoom in