Skip to content

feat: update miden toolchain#188

Open
lima-limon-inc wants to merge 2 commits intomainfrom
fabrizioorsi/i187-update-manifest
Open

feat: update miden toolchain#188
lima-limon-inc wants to merge 2 commits intomainfrom
fabrizioorsi/i187-update-manifest

Conversation

@lima-limon-inc
Copy link
Copy Markdown
Collaborator

@lima-limon-inc lima-limon-inc commented Apr 8, 2026

Closes #187

This PR adds version 0.14.0 of the miden protocol to the manifest.

@lima-limon-inc lima-limon-inc added the check:install PRs only: runs workflows that perform additional end-to-end integration testing label Apr 8, 2026
@lima-limon-inc lima-limon-inc self-assigned this Apr 8, 2026
@lima-limon-inc lima-limon-inc force-pushed the fabrizioorsi/i187-update-manifest branch from abe5623 to 129ba8b Compare April 8, 2026 17:57
@lima-limon-inc lima-limon-inc marked this pull request as ready for review April 8, 2026 19:55
@lima-limon-inc lima-limon-inc requested a review from bitwalker April 8, 2026 19:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

check:install PRs only: runs workflows that perform additional end-to-end integration testing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

feat: update manifest with latest release

1 participant