Skip to content

Documentation Update: 2 merges#1888

Open
sg-doc-holiday[bot] wants to merge 4 commits into
mainfrom
docholiday-2026-07-14-YhafFrajJE
Open

Documentation Update: 2 merges#1888
sg-doc-holiday[bot] wants to merge 4 commits into
mainfrom
docholiday-2026-07-14-YhafFrajJE

Conversation

@sg-doc-holiday

@sg-doc-holiday sg-doc-holiday Bot commented Jul 16, 2026

Copy link
Copy Markdown
Contributor

This PR was triggered by the publication: gOuroboros-Release-Notes


Release notes

  • Updated the v0.188.0 release notes to clarify that leiosnotify producers can confirm responses were written before committing or releasing delivery state
  • Refined the language and description of new features and error handling for leiosnotify in v0.188.0
  • Updated published documentation on protocol coverage, Dijkstra ledger support, and conformance/test totals to accurately reflect the current state in v0.188.0

This covers 4 commits.

Interaction Instructions

This PR was generated by Doc Holiday and is ready to be iterated on.

Leave comments on this pull request in plain English to guide Doc Holiday's next steps.
You might ask to:

  • Update or rewrite documentation
  • Create or update release notes
  • Remove sections or files
  • Merge this PR with another Doc Holiday PR

Examples:

  • @doc.holiday please edit myfile.md to be terser
  • @doc.holiday please remove the section on Known Problems from myfile.md
  • @doc.holiday write new documentation about quantum compute and how its steam generates a 429
  • @doc.holiday delete this file: release-notes/file.md

View this within Doc Holiday: https://app.doc.holiday/work-history?conversationId=cnv-719a9f583cea5d20

Signed-off-by: Doc Holiday <doc.holiday@users.noreply.github.com>

Signed-off-by: Doc Holiday <doc@doc.holiday>
sg-doc-holiday Bot added 3 commits July 16, 2026 17:31
Signed-off-by: Doc Holiday <doc.holiday@users.noreply.github.com>

Signed-off-by: Doc Holiday <doc@doc.holiday>
Signed-off-by: Doc Holiday <doc.holiday@users.noreply.github.com>

Signed-off-by: Doc Holiday <doc@doc.holiday>
Signed-off-by: Doc Holiday <doc.holiday@users.noreply.github.com>

Signed-off-by: Doc Holiday <doc@doc.holiday>
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