Mark the pyproject.toml Divergence-Ledger Gap as Tracked, Per #669 - #1024

Merged

ptr727 merged 3 commits into

divergence-ledger-tracking-669

Aug 26, 2026

Commits on Aug 26, 2026

Mark the pyproject.toml Divergence-Ledger Gap as Tracked, Per #669
ptr727
committed
44fbf61
Capitalize Python as a Language Name in the Ledger Reason
ptr727
committed
2577924
Re-trigger CI: the earlier push's synchronize event appears lost to the GitHub Actions outage (no run exists for the previous head)
ptr727
committed
3a9f31b