Run Miri as part of the PR workflow runs#149

and-cb wants to merge 1 commit intomainbase/triedb:mainfrom

andrea/miri-testsbase/triedb:andrea/miri-testsCopy head branch name to clipboard