Skip to content

Devbox v1.3.1

Choose a tag to compare

View all tags
@foobarto foobarto released this 17 Aug 10:03
· 5 commits to main since this release
Immutable release. Only release title and notes can be modified.
v1.3.1
This tag was signed with the committer’s verified signature.
foobarto Bartosz Ptaszyński
GPG key ID: 06FD46A02874AF8D
Verified
Learn about vigilant mode.
4429871
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Fixes Codex OAuth renewal when host Codex and Devbox Codex share the same rotating login.

  • Delegates token rotation to the host Codex managed-auth layer.
  • Serializes refreshes across concurrent Devbox proxies and adopts credentials already rotated by another process.
  • Retries rejected requests without re-consuming a stale one-time refresh token.
  • Documents golden-image first-run cost, startup optimization, and path-keyed persistent sessions.

Validation: 110 Bats tests and 40 Python tests passed; lint and diff checks passed.

Assets 3
Loading