Back to pull request #645

Better elpitime for benching #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq-elpi	1m 37s
hierarchy-builder	1m 19s
mathcomp-ssreflect	5m 4s
coquelicot	1m 49s
QuickChick	1m 40s
mathcomp-bigenough	1m 17s
mathcomp-fingroup	1m 51s
mathcomp-finmap	1m 25s
interval	3m 10s
mathcomp-algebra	5m 4s
vcfloat	1m 59s
mathcomp-classical	3m 46s
mathcomp-solvable	2m 52s
mathcomp-field	3m 53s
mathcomp-character	2m 53s
mathcomp-analysis	12m 17s
mathcomp	1m 54s
odd-order	12m 50s
	1h 6m 40s