Add GH Token

Certora · Dec 10, 2024 · 12be2d0 · 12be2d0
1 parent c7b9494
commit 12be2d0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -15,7 +15,6 @@ jobs:
       pull-requests: write
     uses: ./.github/workflows/workflow.yml
     secrets:
-      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       CERTORAKEY: ${{ secrets.CERTORAKEY }}
     with:
       use-beta: true

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -73,8 +73,6 @@ on:
     secrets:
       CERTORAKEY:
         required: true
-      GITHUB_TOKEN:
-        required: true
 
 env:
   GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}