Back to pull request #670

drop 8.19 #21

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	51s
coq-elpi	56s
hierarchy-builder	51s
mathcomp-ssreflect	52s
mathcomp-bigenough	1m 48s
mathcomp-fingroup	57s
mathcomp-finmap	1m 59s
coquelicot	2m 16s
mathcomp-algebra	3m 57s
interval	3m 30s
mathcomp-solvable	51s
multinomials	2m 52s
mathcomp-classical	3m 14s
mathcomp-field	4m 15s
mathcomp-character	3m 38s
mathcomp-analysis	10m 48s
mathcomp-real-closed	3m 25s
coqeal	5m 22s
mathcomp	2m 38s
odd-order	11m 55s
	1h 6m 55s