reset --hard to feature/p-token to grab latest#184

Merged

automergerpr-permission-manager[bot] merged 1 commit intoproofsfrom

dc/update-mir-sem

Mar 23, 2026

Collaborator

dkcumming commented Mar 23, 2026

Merging latest master into feature/p-token #996
test(stable-mir-ui): add external UI test harness with skip management #968
Added volatile_load intrinsic #987
Collapse prove-rs into prove #986
fix(symbolic-spl): align multisig cheatcode with 3-signer layout #977
fix(kmir.md): handle projected operandMove callees #983
docs: streamline README and improve CLI --help descriptions #979
Update dependency: deps/stable-mir-json_release #966


          reset --hard to feature/p-token to grab latest

b436d15

dkcumming requested a review from mariaKt

March 23, 2026 22:34

mariaKt approved these changes

View reviewed changes

mariaKt left a comment

LGTM!

mariaKt added the automerge label

automergerpr-permission-manager bot merged commit dadfff1 into proofs

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels