Skip to content

CI: restore the Debian proofs job; make the oracle's R start-up failure visible - #5

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/ci-main
Oct 2, 2026
Merged

hyperpolymath merged 2 commits into
mainfrom
fix/ci-main

CI oracle: put libR's directory on LD_LIBRARY_PATH, as RCall.jl's own…

d0871c4
Select commit
Loading
Failed to load commit list.