| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README.md | 2026-10-19 | 1.4 kB | |
| v0.7.10 source code.tar.gz | 2026-10-19 | 1.9 MB | |
| v0.7.10 source code.zip | 2026-10-19 | 2.2 MB | |
| Totals: 3 Items | 4.1 MB | 0 | |
v0.7.10
Changelog
Bug fixes
- A merge that landed while GitHub never marked the PR merged also closes the Issue (Issue [#1801]; PR [#1805])
- The merge gate's landed verdict is used once; a later failed read cannot fail a landed merge (Issue [#1802]; PR [#1804])
Contributors
- tag:
v0.7.10 - release commit:
847a453e9910e057f0f20a29972f315bff062686 - release task: Issue [#1803]
Scope (verified item by item)
- Issue [#1801] closed
- Issue [#1802] closed
Pre-release gates
- no open Issue in milestone 'v0.7.10' carries ai-in-progress / ai-pr-opened / ai-fix-needed
- CI on the release commit: 4 check(s) all success/neutral/skipped (waited 420s for pending checks)
Tests
- release tests gated by GitHub Actions CI on the release commit [847a45] (the [#268] CI-wait gate; no local test execution)
run_id=c77d1344
Released by Orbi