CI (Coq)

CI (Coq) #549

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.11)	4h 50m 58s
build (8.10)	4h 13m 19s
build (8.12)	3h 21m 43s
build (8.14)	4h 40m 34s
build (8.15)	4h 2m 31s
build (8.13)	4h 29m 10s
build (8.16)	3h 46m 53s
build (8.17)	4h 28m 37s
build (8.18)	3h 53m 25s
build (8.8)	3h 47m 22s
build (8.9)	3h 57m 11s
build (dev)	4h 11m 12s
check-all	2s
deploy	6m 46s
deploy-history	15m 38s
	2d 2h 5m 21s