Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix permissions for CodeQL workflows
After limiting permissions, our CodeQL workflow started failing. This is because it needs some extra permissions as explained in the github/codeql-action#464 This PR adds the required permissions.
- Loading branch information