Skip to content
Latest

Use the --print-version command to robustly get the Coq / Rocq versio… #54

Sign in to view logs

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

Use the --print-version command to robustly get the Coq / Rocq versio… #54

Run time

Learn about OS pricing on GitHub Actions
Job Run time
latest (aarch64)
6m 5s
latest (arm)
5m 24s
latest (ppc)
5m 55s
latest (riscv)
5m 43s
latest (x86_32)
5m 37s
latest (x86_64)
5m 39s
34m 23s