Skip to content

Allow checking miri and RLS with x.py check src/tools/{miri,rls}#85051

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:check-miri
May 11, 2021

Commits

Commits on May 7, 2021