Skip to content

Commit 5add2e4

Browse files
docs(changelog): record Chapel 2.8.0 ubuntu-22.04 runs-on pin (#183) (#208)
## Summary - Adds a `### Fixed` bullet under `## [Unreleased]` in `CHANGELOG.md` documenting the libclang-cpp.so.14 ABI compatibility pin landed in #183. - Records the install-mode switch from `dpkg -i || apt-get install -f -y` to declarative `apt-get install -y /tmp/chapel.deb`. ## Test plan - [x] `git diff main...HEAD --stat` shows single-file CHANGELOG.md edit (4 lines). - [x] Off origin/main; no spillover from local dirty working trees. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
1 parent 16012df commit 5add2e4

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

CHANGELOG.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
99

1010
## [Unreleased]
1111

12+
### Fixed
13+
14+
- 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.
15+
1216
### Added — Saturation campaign 2026-06-01
1317

1418
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`.

0 commit comments

Comments
 (0)