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

chore: Set permissions for GitHub actions

Author: Kordyjan

.github/workflows/ci.yaml

@@ -608,6 +608,8 @@ jobs:
         run: .github/workflows/scripts/triggerUnmanagedCommunityBuild.sh "${{ secrets.BUILD_TOKEN }}" "$THISBUILD_VERSION"
 
   publish_release:
+    permissions:
+      contents: write  # for actions/create-release to create a release
     runs-on: [self-hosted, Linux]
     container:
       image: lampepfl/dotty:2021-03-22

.github/workflows/cla.yml

@@ -4,6 +4,10 @@ on:
   push:
     branches:
       - 'language-reference-backport'
+permissions:
+  contents: write
+  pull-requests: write
+
 jobs:
   check:
     runs-on: ubuntu-latest

.github/workflows/language-reference.yaml

@@ -9,8 +9,14 @@ on:
       - 'language-reference-stable'
   workflow_dispatch:
 
+permissions:
+  contents: read
+
 jobs:
   build-and-push:
+    permissions:
+      contents: write  # for Git to git push
+      pull-requests: write  # for peter-evans/create-pull-request to create a PR
     runs-on: ubuntu-latest
     steps:
       - name: Get current date

.github/workflows/releases.yml

@@ -2,6 +2,9 @@ name: Releases
 on:
   workflow_dispatch:
 
+permissions:
+  contents: read
+
 jobs:
   publish_release:
     runs-on: [self-hosted, Linux]

.github/workflows/scaladoc.yaml

@@ -7,6 +7,9 @@ on:
   pull_request:
     branches-ignore:
       - 'language-reference-stable'
+permissions:
+  contents: read
+
 jobs:
   build:
     env: