Define minimal permissions for new GitHub workflows#3147

Merged

derobins merged 2 commits intoHDFGroup:developfrom diogoteles08:develop

Jun 16, 2023

+15

Commits on Jun 15, 2023

ci: define minimal permissions for GitHub workflows
diogoteles08
committed

Commits on Jun 16, 2023

Update .github/workflows/release.yml

derobins
and
lrknox
authored