CI (Coq)

Adapt to https://github.com/coq/coq/pull/19530 #596

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10)	1h 37m 48s
build (8.11)	1h 57m 53s
build (8.12)	1h 45m 19s
build (8.14)	1h 28m 54s
build (8.13)	1h 41m 11s
build (8.15)	1h 18m 36s
build (8.16-native)	1h 25m 49s
build (8.17-native)	1h 23m 18s
build (8.18-native)	1h 20m 18s
build (8.19-native)	1h 21m 52s
build (8.8)	1h 11m 3s
build (8.9)	1h 32m 59s
build (dev-native)	1h 32m 57s
check-all	1s
deploy-history	0s
deploy	0s
	19h 37m 58s