Browse Source

Merge pull request #12601 from turrisxyz/Pinned-Dependencies-GitHub

chore: Set permissions for GitHub actions
Jaime van Kessel 2 years ago
parent
commit
69b443376c
1 changed files with 3 additions and 0 deletions
  1. 3 0
      .github/workflows/ci.yml

+ 3 - 0
.github/workflows/ci.yml

@@ -8,6 +8,9 @@ on:
       - '4.*'
       - 'CURA-*'
   pull_request:
+permissions:
+  contents: read
+
 jobs:
   build:
     runs-on: ubuntu-latest