Build

Extract Rocq strings to OCaml strings #178

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	2m 43s
linux (riscv)	8m 33s
linux (x86_32)	6m 11s
linux (aarch64)	8m 53s
linux (x86_64)	6m 49s
linux (arm)	10m 25s
linux (ppc)	8m 54s
	52m 28s