Coq

bottom_up_simpl: List.repeatz_singleton_l/r #1362

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (master)	1h 14m 44s
build (8.18.0)	1h 21m 41s
coq-check-all	1s
	2h 36m 26s