Coq Build

Various updates, such as to category infrastructure (slight rework of… #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.14, default)	1m 48s
build (8.15, default)	1m 53s
build (8.16, default)	1m 53s
build (8.17, default)	1m 49s
build (8.18, default)	1m 44s
build (dev, default)	1m 56s
	11m 3s