Coq: more efficient equality decision procedures for enums #434

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (4.08.1, ubuntu-latest)	4m 39s
build (4.08.1, macOS-latest)	12m 23s
build (5.0.0, ubuntu-latest)	5m 6s
build (5.0.0, macOS-latest)	10m 17s
	32m 25s