Back to pull request #636

typos #247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	32s
coq-elpi	2m 43s
hierarchy-builder	36s
mathcomp-ssreflect	6m 11s
mathcomp-finmap	1m 23s
mathcomp-fingroup	1m 48s
mathcomp-bigenough	41s
mathcomp-algebra	5m 11s
mathcomp-solvable	2m 54s
mathcomp-classical	4m 16s
mathcomp-field	3m 58s
mathcomp-analysis	14m 28s
mathcomp-character	2m 52s
mathcomp	1m 34s
odd-order	12m 45s
	1h 1m 52s