Build

remove compat dance connecting Zeq_bool and Z.eqb #73

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	6m 0s
linux (aarch64)	7m 42s
linux (arm)	9m 47s
linux (ppc)	9m 21s
linux (riscv)	7m 6s
linux (x86_32)	5m 58s
linux (x86_64)	6m 29s
	52m 23s