CI (Coq)

Upload all generated files if build fails #593

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10)	1h 37m 14s
build (8.11)	1h 59m 20s
build (8.12)	1h 46m 7s
build (8.13)	1h 42m 7s
build (8.14)	1h 28m 24s
build (8.15)	1h 20m 2s
build (8.16-native)	1h 24m 50s
build (8.17-native)	1h 26m 16s
build (8.18-native)	1h 21m 4s
build (8.19-native)	1h 23m 37s
build (8.8)	1h 11m 38s
build (8.9)	1h 32m 35s
build (dev-native)	1h 34m 34s
check-all	1s
deploy	0s
deploy-history	0s
	19h 47m 49s