Skip to content

Add names to CI jobs#11039

Merged
bors merged 1 commit intorust-lang:masterfrom ehuss:ci-namesAug 31, 2022

Commits

Commits on Aug 31, 2022