Skip to content

feat: dev toolchain#207

Draft
lima-limon-inc wants to merge 6 commits into
fabrizioorsi/atomic-installationfrom
fabrizioorsi/i203-dev-toolchain
Draft

feat: dev toolchain#207
lima-limon-inc wants to merge 6 commits into
fabrizioorsi/atomic-installationfrom
fabrizioorsi/i203-dev-toolchain

Conversation

@lima-limon-inc

Copy link
Copy Markdown
Collaborator

Closes #203
Blocked-by #201

This adds support for a [patches] section on miden-toolchain.toml.
This is intended to be used by Miden developers to test how a specific component works on a specific toolchain.

@lima-limon-inc lima-limon-inc changed the title Fabrizioorsi/i203 dev toolchain feat: dev toolchain May 22, 2026
@lima-limon-inc lima-limon-inc added command:midenup An issue or task related to the `midenup` command check:install PRs only: runs workflows that perform additional end-to-end integration testing labels May 22, 2026
@lima-limon-inc lima-limon-inc force-pushed the fabrizioorsi/i203-dev-toolchain branch from 848f7cd to 6c205d4 Compare May 22, 2026 14:57
@lima-limon-inc lima-limon-inc force-pushed the fabrizioorsi/atomic-installation branch 4 times, most recently from 100f6a4 to 6c1f491 Compare June 9, 2026 21:56
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 command:midenup An issue or task related to the `midenup` command

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant