Nix CI for bundle coq-8.18

Merge pull request #1183 from proux01/doc_overlays #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	52s
mathcomp-single	53s
mathcomp-doc	52s
mathcomp-ssreflect	51s
mathcomp-bigenough	57s
autosubst	54s
deriving	2m 2s
coquelicot	53s
mathcomp-fingroup	55s
mathcomp-finmap	56s
QuickChick	52s
reglang	51s
Verdi	53s
mathcomp-algebra	52s
mathcomp-tarjan	51s
interval	55s
extructures	2m 28s
fourcolor	56s
coq-bits	53s
addition-chains	54s
gaia	51s
mathcomp-classical	58s
mathcomp-solvable	54s
mathcomp-zify	51s
multinomials	52s
graph-theory	50s
mathcomp-algebra-tactics	51s
mathcomp-field	56s
mathcomp-analysis	56s
mathcomp-character	55s
mathcomp-real-closed	52s
mathcomp	52s
coqeal	52s
mathcomp-abel	51s
odd-order	53s
mathcomp-apery	10m 37s
	44m 21s