Coq Build

Updates to notation precendence, example of the category of categorie… #20

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 36s
build (8.16, default)	2m 40s
build (8.17, default)	2m 28s
build (8.18, default)	2m 39s
build (dev, default)	2m 6s
	14m 26s