Skip to content

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

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

Triggered via pull request October 7, 2023 18:02
@adbruckeradbrucker
opened #676
Status Success
Total duration 2h 48m 22s
Artifacts 6

proof.yml

on: pull_request_target
Matrix: All
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kernel-builds Expired
21.6 MB
logs-AARCH64 Expired
86.2 MB
logs-ARM Expired
201 MB
logs-ARM_HYP Expired
184 MB
logs-RISCV64 Expired
178 MB
logs-X64 Expired
168 MB