Back to pull request #293

chore(.nix): Don't use url litteral when fetching nixpkgs #451

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
HoTT	40s
ExtLib	39s
InfSeqExt	36s
LibHyps	33s
MenhirLib	34s
aac-tactics	38s
bbv	38s
bignums	35s
ceres	38s
Ordinal	35s
StructTact	35s
coq-elpi	35s
coq-hammer-tactics	34s
coqide	37s
coq-record-update	35s
coq-shell	34s
dpdgraph	35s
equations	38s
flocq	35s
high-school-geometry	39s
itauto	35s
metalib	35s
paramcoq	39s
paco	35s
pocklington	35s
semantics	34s
serapi	34s
smtcoq	40s
tlc	36s
stdpp	45s
zorns-lemma	39s
simple-io	38s
CoLoR	39s
coqprime	35s
math-classes	39s
parsec	34s
Cheerios	38s
trakt	39s
hierarchy-builder	35s
coq-hammer	34s
compcert	34s
gappalib	35s
ITree	34s
hydra-battles	34s
metacoq-utils	38s
coq-lsp	34s
topology	34s
iris	40s
json	34s
vcfloat	37s
mathcomp-ssreflect	36s
corn	39s
VST	34s
itree-io	34s
goedel	35s
metacoq-common	34s
iris-named-props	35s
autosubst	33s
category-theory	53s
coquelicot	35s
mathcomp-bigenough	1m 1s
mathcomp-fingroup	36s
QuickChick	37s
Verdi	35s
reglang	39s
relation-algebra	35s
mathcomp-finmap	35s
metacoq-template-coq	48s
interval	3m 2s
mathcomp-algebra	44s
mathcomp-tarjan	36s
async-test	46s
metacoq-translations	42s
metacoq-pcuic	36s
metacoq-safechecker	33s
metacoq-template-pcuic	34s
fourcolor	39s
gaia	39s
addition-chains	35s
mathcomp-solvable	36s
mathcomp-zify	40s
mathcomp-word	40s
multinomials	39s
http	36s
mathcomp-field	36s
graph-theory	34s
mathcomp-algebra-tactics	34s
metacoq-erasure	50s
metacoq-quotation	35s
metacoq-safechecker-plugin	45s
mathcomp-character	35s
mathcomp-real-closed	35s
metacoq-erasure-plugin	37s
coqeal	41s
mathcomp	40s
metacoq	36s
	1h 2m 39s