Skip to content

Promote development to main for v1.1.0 - #28

Merged
robertbetts merged 7 commits into
mainfrom
development
Sep 1, 2026
Merged

robertbetts merged 7 commits into
mainfrom
development

Conversation

@robertbetts

Copy link
Copy Markdown
Contributor

Summary

  • Promote development (including 1.1.0 package bumps and Linux SP1 6.5.0 digest pin) to main
  • Follows feature → development → main

Test plan

Made with Cursor

martynriley-rb and others added 7 commits September 1, 2026 09:37
Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Bump sp1-sdk/build/zkvm together (Dependabot split them), group future SP1 updates, and retarget Dependabot at development. Keep the last Linux ELF/vk pin until a Linux guest rebuild refreshes it.

Co-authored-by: Cursor <cursoragent@cursor.com>
Promote open PRs: SP1 6.5.0 stack, blake3, cc, prove_server imports
Co-authored-by: Cursor <cursoragent@cursor.com>
@robertbetts
robertbetts merged commit 425e8eb into main Sep 1, 2026
4 checks passed
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.

2 participants