Build

Adapt to https://github.com/rocq-prover/rocq/pull/21478 #175

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux (ppc)	9m 12s
linux (riscv)	8m 42s
linux (arm)	10m 20s
linux (x86_32)	6m 8s
linux (x86_64)	6m 58s
linux (aarch64)	9m 8s
macos	3m 12s
	53m 40s