CI (Coq)

CI (Coq) #588

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10)	1h 37m 25s
build (8.11)	1h 57m 29s
build (8.12)	1h 44m 34s
build (8.13)	1h 41m 9s
build (8.14)	1h 28m 56s
build (8.15)	1h 16m 40s
build (8.16-native)	1h 24m 16s
build (8.17-native)	1h 22m 23s
build (8.9)	1h 31m 57s
build (8.18-native)	1h 21m 15s
build (8.19-native)	1h 21m 51s
build (8.8)	1h 11m 44s
build (dev-native)	1h 29m 34s
check-all	1s
deploy	0s
deploy-history	0s
	19h 29m 14s