Repository navigation
Release v7.1.4
Fixed
- Worker harnesses refresh their GitHub installation token immediately before pushing committed work, so long sessions do not lose changes when the dispatch-time token expires. A failed push now reports failed work rather than completion. (#436)