CI (Coq)

Upload PerformanceExperiments for debugging if job fails #591

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10)	1h 37m 54s
build (8.11)	1h 57m 59s
build (8.12)	1h 45m 55s
build (8.13)	1h 41m 3s
build (8.15)	1h 19m 45s
build (8.14)	1h 28m 32s
build (8.16-native)	1h 26m 21s
build (8.17-native)	1h 22m 34s
build (8.18-native)	1h 21m 10s
build (8.19-native)	1h 22m 16s
build (8.8)	1h 12m 23s
build (8.9)	1h 31m 42s
build (dev-native)	1h 36m 23s
check-all	1s
deploy-history	0s
deploy	0s
	19h 43m 58s