Skip to content

Commit a8033ff

Browse files
borsbors
committed
Auto merge of #3512 - RalfJung:miri-script-build, r=RalfJung
make miri-script a workspace root This is needed to make miri-script build on stable (as is done by the `./miri` script) when the parent package uses unstable cargo features.
2 parents 605fabe + 5db4475 commit a8033ff

0 file changed

File tree

    0 commit comments

    Comments
     (0)