Skip to content
Nix CI for bundle 9.0

Add Rocq #29

Sign in to view logs

Add Rocq

Add Rocq #29

Triggered via pull request February 4, 2025 15:36
@proux01proux01
synchronize #318
Status Success
Total duration 56m 38s
Artifacts –

nix-action-9.0.yml

on: pull_request_target
coq
2m 2s
coq
stdlib
3m 10s
stdlib
coq-record-update
1m 3s
coq-record-update
coq-shell
1m 8s
coq-shell
ExtLib
1m 14s
ExtLib
coq-elpi
1m 20s
coq-elpi
StructTact
1m 5s
StructTact
bignums
1m 25s
bignums
stdpp
2m 1s
stdpp
paco
1m 13s
paco
MenhirLib
1m 4s
MenhirLib
ceres
1m 4s
ceres
InfSeqExt
1m 6s
InfSeqExt
equations
1m 12s
equations
simple-io
1m 4s
simple-io
hierarchy-builder
1m 10s
hierarchy-builder
Cheerios
1m 7s
Cheerios
CoLoR
6m 1s
CoLoR
iris
5m 51s
iris
ITree
2m 31s
ITree
parsec
1m 4s
parsec
mathcomp-ssreflect
2m 45s
mathcomp-ssreflect
json
1m 7s
json
mathcomp-fingroup
3m 23s
mathcomp-fingroup
deriving
3m 21s
deriving
mathcomp-bigenough
2m 51s
mathcomp-bigenough
QuickChick
3m 20s
QuickChick
autosubst
2m 48s
autosubst
mathcomp-finmap
3m 13s
mathcomp-finmap
reglang
3m 13s
reglang
mathcomp-algebra
2m 58s
mathcomp-algebra
mathcomp-tarjan
1m 31s
mathcomp-tarjan
extructures
1m 28s
extructures
mathcomp-solvable
2m 23s
mathcomp-solvable
mathcomp-zify
1m 25s
mathcomp-zify
fourcolor
13m 4s
fourcolor
mathcomp-word
1m 18s
mathcomp-word
gaia
3m 51s
gaia
mathcomp-field
4m 3s
mathcomp-field
mathcomp-algebra-tactics
1m 33s
mathcomp-algebra-tactics
mathcomp-character
3m 43s
mathcomp-character
mathcomp-real-closed
3m 43s
mathcomp-real-closed
mathcomp
1m 24s
mathcomp
odd-order
8m 19s
odd-order
Fit to window
Zoom out
Zoom in