add permissions for GitHub actions

shineyruan · Apr 11, 2024 · e1db70c · e1db70c
1 parent 3f29e28
commit e1db70c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -4,6 +4,9 @@ on:
  push:
  workflow_dispatch:
 
+permissions:
+ actions: write
+
 jobs:
  build:
  if: ${{ github.event_name != 'push' || github.ref_name == github.event.repository.default_branch }}

diff --git a/.github/workflows/build_differential.yaml b/.github/workflows/build_differential.yaml
@@ -3,6 +3,9 @@ name: build-differential
 on:
  pull_request:
 
+permissions:
+ actions: write
+
 jobs:
  build-differential:
  runs-on: ubuntu-latest