CI (Coq)

Adapt to https://github.com/coq/coq/pull/19530 (#47) #599

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.11)	3h 18m 0s
build (8.12)	3h 5m 18s
build (8.10)	2h 58m 9s
build (8.13)	3h 2m 5s
build (8.14)	3h 13m 2s
build (8.15)	3h 5m 20s
build (8.16-native)	2h 45m 3s
build (8.17-native)	3h 7m 18s
build (8.18-native)	2h 41m 12s
build (8.19-native)	2h 42m 47s
build (8.8)	2h 32m 11s
build (8.9)	2h 52m 56s
build (dev-native)	2h 54m 27s
check-all	1s
deploy	4m 13s
deploy-history	12m 12s
	1d 14h 34m 14s