Build

Rocq/Coq 9.1.0 is supported #180

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux (x86_64)	6m 51s
linux (arm)	10m 19s
macos	2m 24s
linux (x86_32)	5m 52s
linux (ppc)	10m 43s
linux (aarch64)	9m 0s
linux (riscv)	8m 4s
	53m 13s