CI (Coq, Arch Linux)

Add ZRange.bitwidth, ZRange.of_bitwidth (#2041) #597

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
archlinux	3h 8m 15s
publish-standalone-dry-run	16s
test-standalone	34s
archlinux-check-all	4s
	3h 9m 9s