Skip to content

chore: release v1.1.0 - #116

Merged
fallblu merged 57 commits into
mainfrom
release/1.1.0-promotion
Aug 26, 2026
Merged

chore: release v1.1.0#116
fallblu merged 57 commits into
mainfrom
release/1.1.0-promotion

Conversation

@fallblu

@fallblu fallblu commented Aug 26, 2026

Copy link
Copy Markdown
Owner

Summary

  • promote the completed v1 contract reset and documentation simplification to main
  • set the Dune package and runtime engine version to 1.1.0
  • update current CLI, strategy-fixture, and issue-template version references
  • preserve the reviewed release tree on a linear branch because the original PR contained a historical merge commit that GitHub could not rebase

Test plan

  • make check
  • make release-check VERSION=1.1.0
  • sha256sum -c SHA256SUMS from the generated release directory
  • verify the promotion branch tree matches release/1.1.0 exactly

fallblu added 30 commits August 26, 2026 15:32
@fallblu fallblu mentioned this pull request Aug 26, 2026
@fallblu
fallblu merged commit 916934c into main Aug 26, 2026
16 checks passed
@fallblu
fallblu deleted the release/1.1.0-promotion branch August 26, 2026 19:45
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