Back to pull request #318

Add Rocq #32

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
stdlib	41s
coq-shell	38s
coq-record-update	39s
ExtLib	37s
InfSeqExt	38s
MenhirLib	38s
StructTact	38s
bignums	43s
ceres	42s
coq-elpi	38s
paco	43s
equations	39s
stdpp	38s
simple-io	38s
Cheerios	38s
hierarchy-builder	39s
iris	39s
parsec	44s
CoLoR	43s
ITree	38s
mathcomp-ssreflect	40s
json	38s
QuickChick	42s
deriving	39s
mathcomp-bigenough	39s
autosubst	40s
mathcomp-fingroup	39s
mathcomp-finmap	42s
reglang	43s
extructures	1m 39s
mathcomp-tarjan	43s
mathcomp-algebra	43s
fourcolor	39s
mathcomp-solvable	38s
mathcomp-word	40s
mathcomp-zify	40s
gaia	38s
mathcomp-field	39s
mathcomp-algebra-tactics	40s
mathcomp-character	39s
mathcomp-real-closed	2m 11s
mathcomp	39s
odd-order	8m 22s
	39m 22s