Run miri test with --features global
in ci#52
Open
MortenLohne wants to merge 2 commits intoalexcrichton:mainfrom
Open
Run miri test with `--features global` in ci#52MortenLohne wants to merge 2 commits intoalexcrichton:mainfrom
MortenLohne wants to merge 2 commits intoalexcrichton:mainfrom