Skip to content

chore: release v0.17.3 - #29

Merged
gaardhus merged 1 commit into
mainfrom
release
Oct 24, 2026
Merged

gaardhus merged 1 commit into
mainfrom
release

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 23, 2026 •

Copy link
Copy Markdown
Contributor

0.17.3 - 2026-10-24

Fixed

  • (core) Report repaired read state, and keep it if saving fails
  • (sync) Report every invalid item, and retry pending ones on connect
  • (cli) Say when a workspace can only be read
  • (cli) Say an annotation is ignored when its create event isn't valid

@github-actions github-actions Bot changed the title chore: release v0.18.0 chore: release v0.17.3 Oct 24, 2026
@gaardhus
gaardhus merged commit 2e5a8ed into main Oct 24, 2026
12 checks passed
@gaardhus
gaardhus deleted the release branch October 24, 2026 09:01
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