Skip to content

chore(main): release 0.7.1 - #209

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main
Open

chore(main): release 0.7.1#209
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 18, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.7.1 (2026-08-20)

Bug Fixes

  • enforce the table budget on cells with no break opportunity (#213) (3ef5f55)
  • report a config value the engine cannot read, instead of guessing (#207) (2237024)
  • report the two sync-path config reads that swallowed a bad value (#211) (0e21f80)
  • scan docs for stale issue-state claims, and close two pattern gaps (#214) (019c9e9)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main branch 3 times, most recently from 9d930b5 to a7461bf Compare August 19, 2026 22:48
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from a7461bf to c902542 Compare August 20, 2026 01:32
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.

0 participants