Nix CI for bundle coq-8.16

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	44s
coq	43s
mathcomp-doc	43s
mathcomp-ssreflect	47s
Verdi	38s
QuickChick	44s
autosubst	44s
category-theory	39s
coquelicot	44s
deriving	43s
mathcomp-bigenough	40s
mathcomp-fingroup	42s
mathcomp-finmap	46s
reglang	45s
relation-algebra	43s
mathcomp-algebra	39s
mathcomp-tarjan	40s
extructures	40s
interval	43s
addition-chains	43s
coq-bits	40s
fourcolor	44s
gaia	38s
mathcomp-classical	39s
mathcomp-zify	45s
mathcomp-solvable	39s
multinomials	41s
vcfloat	57s
mathcomp-field	45s
graph-theory	42s
mathcomp-algebra-tactics	39s
mathcomp-character	39s
mathcomp-analysis	41s
mathcomp-real-closed	40s
mathcomp	42s
coqeal	4m 29s
mathcomp-abel	49s
odd-order	41s
mathcomp-apery	25m 9s
	55m 49s