CI (Coq)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.12)	1h 47m 48s
build (8.10)	1h 39m 7s
build (8.11)	1h 57m 21s
build (8.13)	1h 42m 8s
build (8.14)	1h 30m 9s
build (8.15)	1h 18m 47s
build (8.16-native)	1h 24m 46s
build (8.17-native)	1h 22m 26s
build (8.18-native)	1h 22m 3s
build (8.19-native)	1h 22m 45s
build (8.9)	1h 35m 28s
build (8.8)	1h 12m 57s
build (dev-native)	1h 33m 47s
check-all	1s
deploy-history	0s
deploy	0s
	19h 49m 33s