Build

Iteration: don't use axioms #206

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	8m 55s
linux (x86_32)	6m 11s
linux (aarch64)	9m 3s
linux (arm)	10m 12s
linux (x86_64)	6m 36s
linux (riscv)	8m 23s
linux (ppc)	8m 52s
	58m 12s