[sp2019latest] [CI] Drop Coq < 8.16 (#1691) #4226

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
8.16.1	1h 11m 46s
8.17.1	1h 5m 54s
master	1h 0m 15s
check-all	4s
	3h 17m 59s