Skip to content
Back to pull request #544

Use the --print-version command to robustly get the Coq / Rocq version. #99

Sign in to view logs

Use the --print-version command to robustly get the Coq / Rocq version.

Use the --print-version command to robustly get the Coq / Rocq version. #99

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macos
8m 52s
linux (aarch64)
7m 39s
linux (arm)
10m 4s
linux (ppc)
9m 5s
linux (riscv)
7m 9s
linux (x86_32)
6m 12s
linux (x86_64)
6m 26s
55m 27s