Always run the latest tools PR checks so we can make them required#699
Merged
henrymercer merged 2 commits intomainfrom Aug 11, 2021
Merged
latest tools PR checks so we can make them required#699