Skip to content
Proof PR

If cpp_path is relative, make it relative to the current theory. #2604

Sign in to view logs

If cpp_path is relative, make it relative to the current theory.

If cpp_path is relative, make it relative to the current theory. #2604

Run time

Learn about OS pricing on GitHub Actions
Job Run time
All (AARCH64)
8m 37s
All (ARM)
2h 36m 21s
All (X64)
2h 48m 12s
All (RISCV64)
2h 17m 20s
All (ARM_HYP)
2h 38m 49s
10h 29m 19s