Skip to content

Give explicit permissions to Github actions#320

Merged
graebm merged 1 commit intomainfrom
actions-permissions
Jun 2, 2022

Commits

Commits on Jun 2, 2022