Skip to content

Last batch of changes for v0.13 release#1588

Merged
bobbinth merged 7 commits intomainfrom
next
Jan 23, 2026
Merged

Last batch of changes for v0.13 release#1588
bobbinth merged 7 commits intomainfrom
next

Conversation

@bobbinth
Copy link
Contributor

This PR merges the last batch of changes and fixes into main.

huitseeker and others added 6 commits January 23, 2026 09:46
This introduces a script, make command and CI job that tests all feature
combinations to prevent incorrect dependency feature definitions which are
obscured by cargo's default feature unification.

Follows the pattern established in miden-vm and miden-base.

Closes #501
This is currently eating 2.2 GB of precious github cache but since this only runs _on merge into_ next/main we don't need it be fast.
@bobbinth bobbinth merged commit fc22a0e into main Jan 23, 2026
14 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.

7 participants