Build

Support for Rocq/Coq 9.0 #117

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux (ppc)	9m 20s
macos	7m 4s
linux (riscv)	6m 53s
linux (arm)	10m 26s
linux (x86_64)	6m 15s
linux (x86_32)	5m 59s
linux (aarch64)	8m 3s
	54m 0s