Skip to content

chore: Set permissions for GitHub actions#10816

Merged
bors merged 1 commit intorust-lang:masterfrom
turrisxyz:Pinned-Dependencies-GitHub
Jul 3, 2022
Merged

chore: Set permissions for GitHub actions#10816
bors merged 1 commit intorust-lang:masterfrom
turrisxyz:Pinned-Dependencies-GitHub

Commits

Commits on Jul 3, 2022