Skip to content
Nix CI for bundle 8.19

Add Rocq #653

Sign in to view logs

Add Rocq

Add Rocq #653

Triggered via pull request February 10, 2025 10:10
@proux01proux01
synchronize #318
Status Success
Total duration 1h 31m 16s
Artifacts –

nix-action-8.19.yml

on: pull_request_target
coq
4m 24s
coq
stdlib
1m 0s
stdlib
paramcoq
1m 4s
paramcoq
unicoq
1m 1s
unicoq
HoTT
2m 26s
HoTT
LibHyps
1m 3s
LibHyps
autosubst-ocaml
1m 6s
autosubst-ocaml
coq-lsp
1m 30s
coq-lsp
coq-record-update
58s
coq-record-update
coq-shell
1m 6s
coq-shell
coq-tactical
59s
coq-tactical
coqide
1m 14s
coqide
coqutil
1m 28s
coqutil
dpdgraph
1m 3s
dpdgraph
high-school-geometry
2m 1s
high-school-geometry
serapi
1m 27s
serapi
vscoq-language-server
1m 14s
vscoq-language-server
zorns-lemma
1m 8s
zorns-lemma
equations
1m 8s
equations
bignums
1m 19s
bignums
flocq
2m 5s
flocq
ExtLib
1m 10s
ExtLib
MenhirLib
1m 4s
MenhirLib
coq-elpi
2m 30s
coq-elpi
StructTact
1m 7s
StructTact
coq-hammer-tactics
1m 3s
coq-hammer-tactics
stdpp
2m 7s
stdpp
paco
1m 10s
paco
ceres
1m 8s
ceres
aac-tactics
1m 6s
aac-tactics
InfSeqExt
1m 4s
InfSeqExt
bbv
1m 6s
bbv
coinduction
1m 4s
coinduction
itauto
2m 20s
itauto
rewriter
6m 3s
rewriter
smtcoq
1m 36s
smtcoq
mtac2
1m 25s
mtac2
metacoq-utils
1m 21s
metacoq-utils
math-classes
1m 50s
math-classes
CoLoR
6m 9s
CoLoR
coqprime
1m 40s
coqprime
gappalib
2m 21s
gappalib
simple-io
1m 5s
simple-io
compcert
4m 57s
compcert
hierarchy-builder
1m 14s
hierarchy-builder
Cheerios
1m 16s
Cheerios
coq-hammer
1m 7s
coq-hammer
iris
4m 56s
iris
ITree
2m 32s
ITree
parsec
1m 1s
parsec
metacoq-common
1m 38s
metacoq-common
corn
7m 25s
corn
mathcomp-ssreflect
6m 5s
mathcomp-ssreflect
iris-named-props
1m 4s
iris-named-props
itree-io
2m 42s
itree-io
VST
18m 21s
VST
json
1m 5s
json
metacoq-pcuic
12m 29s
metacoq-pcuic
metacoq-template-coq
2m 15s
metacoq-template-coq
mathcomp-fingroup
6m 20s
mathcomp-fingroup
mathcomp-bigenough
5m 37s
mathcomp-bigenough
mathcomp-finmap
5m 56s
mathcomp-finmap
QuickChick
6m 23s
QuickChick
deriving
6m 17s
deriving
coquelicot
6m 21s
coquelicot
relation-algebra
6m 48s
relation-algebra
autosubst
5m 54s
autosubst
reglang
6m 9s
reglang
metacoq-safechecker
18m 28s
metacoq-safechecker
metacoq-template-pcuic
13m 1s
metacoq-template-pcuic
metacoq-translations
1m 14s
metacoq-translations
mathcomp-algebra
4m 53s
mathcomp-algebra
mathcomp-tarjan
1m 26s
mathcomp-tarjan
async-test
1m 20s
async-test
extructures
1m 35s
extructures
interval
2m 21s
interval
metacoq-erasure
12m 37s
metacoq-erasure
metacoq-quotation
9m 7s
metacoq-quotation
metacoq-safechecker-plugin
7m 17s
metacoq-safechecker-plugin
mathcomp-solvable
2m 58s
mathcomp-solvable
mathcomp-classical
4m 8s
mathcomp-classical
fourcolor
13m 9s
fourcolor
mathcomp-zify
1m 29s
mathcomp-zify
multinomials
2m 11s
multinomials
mathcomp-word
1m 26s
mathcomp-word
gaia
3m 53s
gaia
http
1m 29s
http
vcfloat
2m 59s
vcfloat
metacoq-erasure-plugin
9m 15s
metacoq-erasure-plugin
mathcomp-field
3m 49s
mathcomp-field
mathcomp-reals
2m 7s
mathcomp-reals
graph-theory
4m 17s
graph-theory
mathcomp-algebra-tactics
1m 24s
mathcomp-algebra-tactics
metacoq
11m 52s
metacoq
mathcomp-character
2m 37s
mathcomp-character
mathcomp-real-closed
2m 30s
mathcomp-real-closed
mathcomp-analysis
14m 26s
mathcomp-analysis
mathcomp-reals-stdlib
1m 20s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 47s
mathcomp-experimental-reals
ElmExtraction
2m 13s
ElmExtraction
RustExtraction
1m 42s
RustExtraction
mathcomp
1m 20s
mathcomp
coqeal
4m 8s
coqeal
mathcomp-analysis-stdlib
14m 55s
mathcomp-analysis-stdlib
ssprove
24m 17s
ssprove
odd-order
12m 16s
odd-order
mathcomp-infotheo
6m 45s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in