Skip to content
Build

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

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… #100

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macos
6m 3s
linux (aarch64)
7m 43s
linux (arm)
10m 4s
linux (ppc)
8m 56s
linux (riscv)
7m 8s
linux (x86_32)
6m 4s
linux (x86_64)
6m 20s
52m 18s