Closed skangas closed 2 years ago
This slightly hardens the GitHub CI workflow by restricting the permissions.
Thanks for all the PRs!
This slightly hardens the GitHub CI workflow by restricting the permissions.