Nix CI for bundle coq-8.17

Merge pull request #986 from proux01/ler_sqrt #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	42s
coq	42s
mathcomp-doc	49s
mathcomp-ssreflect	50s
autosubst	41s
coquelicot	45s
category-theory	39s
deriving	43s
mathcomp-bigenough	43s
mathcomp-fingroup	37s
QuickChick	40s
Verdi	40s
mathcomp-finmap	45s
reglang	38s
relation-algebra	41s
mathcomp-algebra	40s
mathcomp-tarjan	39s
extructures	38s
interval	46s
fourcolor	37s
addition-chains	53s
coq-bits	39s
gaia	39s
mathcomp-classical	39s
mathcomp-solvable	39s
mathcomp-zify	40s
multinomials	45s
vcfloat	41s
graph-theory	39s
mathcomp-field	45s
mathcomp-algebra-tactics	45s
mathcomp-character	41s
mathcomp-analysis	40s
mathcomp-real-closed	38s
mathcomp-abel	39s
coqeal	4m 22s
mathcomp	45s
odd-order	44s
mathcomp-apery	24m 8s
	54m 16s