use GitHub personal access tokens

shineyruan · Apr 11, 2024 · 7bbe808 · 7bbe808
1 parent b5ed6a1
commit 7bbe808
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -4,6 +4,9 @@ on:
  push:
  workflow_dispatch:
 
+env:
+ GH_PAT: ${{ secrets.GH_PAT }}
+
 jobs:
  build:
  if: ${{ github.event_name != 'push' || github.ref_name == github.event.repository.default_branch }}
@@ -37,5 +40,3 @@ jobs:
  rosdistro: ${{ matrix.rosdistro }}
  target-packages: ${{ steps.get-self-packages.outputs.self-packages }}
  build-depends-repos: ${{ matrix.build-depends-repos }}
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_ACTIONS_TOKEN }}
diff --git a/.github/workflows/build_differential.yaml b/.github/workflows/build_differential.yaml
@@ -3,6 +3,9 @@ name: build-differential
 on:
  pull_request:
 
+env:
+ GH_PAT: ${{ secrets.GH_PAT }}
+
 jobs:
  build-differential:
  runs-on: ubuntu-latest
@@ -36,5 +39,3 @@ jobs:
  rosdistro: ${{ matrix.rosdistro }}
  target-packages: ${{ steps.get-modified-packages.outputs.modified-packages }}
  build-depends-repos: ${{ matrix.build-depends-repos }}
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_ACTIONS_TOKEN }}