Coq Build

Significantly improved category automation. Fenceposting has been imp… #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.14, default)	1m 57s
build (8.15, default)	2m 7s
build (8.16, default)	2m 17s
build (8.17, default)	2m 47s
build (8.18, default)	2m 26s
build (dev, default)	2m 21s
	13m 55s