Skip to content

Release v0.1.4 - #5

Merged
jaredLunde merged 2 commits into
mainfrom
devin/1787183652-release-0-2-0
Aug 20, 2026
Merged

Release v0.1.4#5
jaredLunde merged 2 commits into
mainfrom
devin/1787183652-release-0-2-0

Conversation

@devin-ai-integration

@devin-ai-integration devin-ai-integration Bot commented Aug 19, 2026

Copy link
Copy Markdown
Contributor

Summary

Version bump for the fd/socket hardening in #4. Merging this makes release.yml publish beyond-handoff and cut the GitHub release, as with v0.1.3.

Shipping as a patch per your call. Worth knowing what rides along, since ^0.1 resolves to it automatically:

  • Error is not #[non_exhaustive] and gained SocketPathTooLong and PeerNotPermitted, so a downstream exhaustive match on it stops compiling.
  • handoff-supervisor no longer execs an arbitrary client-supplied path; handoff <binary> now requires the path to be in allowed_binaries.

Everything else was additive (sock module, take_unix_listener, allowed_uids) or behavioral.

Link to Devin session: https://app.devin.ai/sessions/288b845379894277bddeaa82ba171e95
Requested by: @jaredLunde

Fd/socket hardening (#4) adds Error variants to an exhaustive enum and
restricts trigger-supplied binaries, so it is a breaking bump under 0.x
semver rather than a patch.

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@jaredLunde jaredLunde self-assigned this Aug 19, 2026
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

  • Address comments on this PR. Add '(aside)' to your comment to have me ignore it.
  • Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

  • Disable automatic comment, CI, and merge conflict monitoring

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@devin-ai-integration devin-ai-integration Bot changed the title Release v0.2.0 Release v0.1.4 Aug 19, 2026
@jaredLunde
jaredLunde merged commit 63d452c into main Aug 20, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant