CI

Merge pull request #424 from ppedrot/fast-namegen-detyping #500

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 21s
build (4.13.x, test, coq.dev)	10m 5s
build (4.14.x, test, coq.dev)	9m 35s
build (4.14.x, test, true)	12m 22s
	42m 23s