CI

Merge pull request #417 from ejgallego/vernacstate_remove_pcoq #475

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (4.12.x, test, coq.dev)	10m 17s
build (4.13.x, test, coq.dev)	10m 8s
build (4.14.x, test, coq.dev)	10m 36s
build (4.14.x, test, true)	13m 45s
	44m 46s