Build

Adapt to https://github.com/coq/coq/pull/20027 #97

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	9m 15s
linux (aarch64)	7m 22s
linux (arm)	10m 9s
linux (ppc)	9m 6s
linux (riscv)	7m 2s
linux (x86_32)	6m 7s
linux (x86_64)	6m 34s
	55m 35s