Build

remove compat dance connecting Zeq_bool and Z.eqb #94

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	6m 53s
linux (aarch64)	7m 50s
linux (arm)	9m 49s
linux (ppc)	9m 10s
linux (riscv)	7m 6s
linux (x86_32)	6m 5s
linux (x86_64)	6m 29s
	53m 22s