Skip to content

chore(main): release 1.8.0#36

Merged
kunchenguid merged 1 commit into
mainfrom
release-please--branches--main
Jun 22, 2026
Merged

chore(main): release 1.8.0#36
kunchenguid merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.8.0 (2026-06-22)

Features

  • pool: add durable worktree leases (#35) (97d6708)

This PR was generated with Release Please. See documentation.

@kunchenguid kunchenguid merged commit 67f31ce into main Jun 22, 2026
@kunchenguid kunchenguid deleted the release-please--branches--main branch June 22, 2026 23:25
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant