Merge branch 'main' into patch-2

2022-05-31 14:34:24 +02:00
parent 77df908268 bef546bf42
commit 7757e2cdbd
1 changed files with 1 additions and 0 deletions
@@ -28,6 +28,7 @@ jobs:
    permissions:
      contents: read # for actions/checkout to fetch code
      security-events: write # for github/codeql-action/upload-sarif to upload SARIF results
+      actions: read # only required for a private repository by github/codeql-action/upload-sarif to get the Action run status 
    runs-on: ubuntu-latest
    steps:
    - name: Checkout the code