secrets

Certora · Dec 10, 2024 · 37b6eb4 · 37b6eb4
1 parent 8d43733
commit 37b6eb4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -14,7 +14,9 @@ jobs:
       statuses: write
       pull-requests: write
     uses: .github/workflows/workflow.yml@feat/initial-setup
-    secrets: inherit
+    secrets:
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      CERTORAKEY: ${{ secrets.CERTORAKEY }}
     with:
       use-beta: true
       configurations: |-