Skip to content

fix: link libexecinfo on BSDs; mark riscv64 unavailable - #21

Merged
cuihtlauac merged 1 commit into
mainfrom
fix-opam-ci-portability
Oct 25, 2026
Merged

cuihtlauac merged 1 commit into
mainfrom
fix-opam-ci-portability

fix: link libexecinfo on BSDs; mark riscv64 unavailable

2c2be85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build-and-test (ubuntu-latest, 4.11, vendored)
succeeded Oct 25, 2026 in 7m 32s