Skip to content

Shrink GHA configuration#71434

Merged
bors merged 2 commits intorust-lang:masterfrom pietroalbini:shrink-gha-configApr 26, 2020

Commits

Commits on Apr 22, 2020