Build

Extract Rocq strings to OCaml strings #172

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	3m 29s
linux (aarch64)	8m 51s
linux (x86_32)	6m 9s
linux (riscv)	8m 20s
linux (ppc)	9m 7s
linux (x86_64)	6m 56s
linux (arm)	10m 11s
	53m 3s