From 52f59c9abab8e1e9be3fb58028965606b08be8f8 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 2 Jun 2026 11:01:24 +0100 Subject: [PATCH] docs(changelog): record Chapel 2.8.0 ubuntu-22.04 runs-on pin (#183) Chapel 2.8.0's debian package is linked against libclang-cpp.so.14 (LLVM-14 / Ubuntu 22.04). On ubuntu-latest (24.04) apt resolves the unmet dependency with libclang-cpp-18, leaving chpl unable to load. PR #183 pinned the runner to ubuntu-22.04 and switched to apt-get install -y /tmp/chapel.deb for declarative resolution. --- CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 45805dcf..0e76027a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,6 +9,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## [Unreleased] +### Fixed + +- ci(chapel): pin runs-on to ubuntu-22.04 for Chapel 2.8.0 libclang-cpp.so.14 ABI compatibility (#183). Chapel 2.8.0's debian package is built against LLVM-14 / Ubuntu 22.04; on Ubuntu 24.04 (`ubuntu-latest`) apt resolves the unmet dependency with libclang-cpp-18, leaving `chpl` unable to load. Also switched install to `apt-get install -y /tmp/chapel.deb` so libclang-cpp14 / libllvm14 are resolved declaratively in one pass. + ### Added — Saturation campaign 2026-06-01 Branch `prover-corpus-saturation` (commits f73ee00..cb8caff). Owner-directed marginal-benefit push across corpus, vocabulary, arbitration, exchange, and wire-schema surfaces. See `docs/decisions/2026-06-01-saturation-campaign.md`.