Coq Build

Partway through implementing tactics to make ViCaR usable - see espec… #18

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.14, default)	2m 1s
build (8.15, default)	1m 56s
build (8.16, default)	1m 59s
build (8.17, default)	1m 59s
build (8.18, default)	1m 54s
build (dev, default)	2m 41s
	12m 30s