Skip to content
Nix CI for bundle 8.17

Merge pull request #307 from proux01/fix_smtcoq #780

Sign in to view logs

Merge pull request #307 from proux01/fix_smtcoq

Merge pull request #307 from proux01/fix_smtcoq #780

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
40s
coqide
42s
coq-lsp
37s
coq-record-update
38s
coq-shell
38s
coq-tactical
1m 8s
coqutil
38s
dpdgraph
38s
high-school-geometry
2m 13s
HoTT
40s
itauto
2m 22s
LibHyps
37s
metalib
41s
Ordinal
1m 17s
paramcoq
36s
pocklington
41s
semantics
1m 18s
serapi
1m 37s
stdlib
37s
zorns-lemma
40s
ExtLib
37s
InfSeqExt
37s
StructTact
37s
MenhirLib
37s
aac-tactics
38s
bbv
40s
bignums
38s
ceres
41s
coq-elpi
38s
coq-hammer-tactics
38s
equations
38s
flocq
41s
paco
38s
rewriter
6m 18s
smtcoq
1m 43s
stdpp
38s
topology
1m 16s
simple-io
38s
coqprime
37s
CoLoR
6m 19s
math-classes
36s
Cheerios
36s
hierarchy-builder
40s
trakt
37s
coq-hammer
38s
metacoq-utils
41s
parsec
37s
ITree
41s
compcert
41s
gappalib
37s
iris
36s
corn
7m 52s
mathcomp-ssreflect
38s
metacoq-common
36s
json
37s
itree-io
39s
VST
37s
vcfloat
44s
iris-named-props
37s
metacoq-template-coq
37s
metacoq-pcuic
40s
QuickChick
39s
autosubst
38s
category-theory
9m 12s
coquelicot
42s
deriving
47s
Verdi
42s
mathcomp-bigenough
39s
mathcomp-fingroup
39s
mathcomp-finmap
39s
reglang
38s
relation-algebra
41s
metacoq-safechecker
42s
metacoq-template-pcuic
42s
metacoq-translations
38s
async-test
42s
extructures
37s
mathcomp-algebra
36s
interval
2m 37s
mathcomp-tarjan
1m 36s
metacoq-erasure
38s
metacoq-safechecker-plugin
36s
metacoq-quotation
41s
fourcolor
38s
addition-chains
38s
gaia
38s
mathcomp-classical
37s
mathcomp-solvable
39s
mathcomp-word
37s
mathcomp-zify
38s
multinomials
41s
http
42s
metacoq-erasure-plugin
40s
graph-theory
56s
mathcomp-reals
42s
mathcomp-field
37s
mathcomp-algebra-tactics
37s
mathcomp-character
37s
mathcomp-real-closed
38s
metacoq
37s
mathcomp-analysis
38s
mathcomp-experimental-reals
1m 15s
mathcomp-reals-stdlib
37s
mathcomp
1m 27s
coqeal
41s
ElmExtraction
37s
RustExtraction
37s
mathcomp-analysis-stdlib
39s
mathcomp-infotheo
7m 31s
1h 56m 37s