chore: fix CI secret passing

leanprover · Nov 29, 2023 · 96b6fdb · 96b6fdb
1 parent 902cda3
commit 96b6fdb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -30,3 +30,4 @@ jobs:
     needs: [index, testbed]
     name: Pages
     uses: ./.github/workflows/pages.yaml
+    secrets: inherit
diff --git a/.github/workflows/pages.yaml b/.github/workflows/pages.yaml
@@ -99,6 +99,7 @@ jobs:
             ${{ github.event_name == 'pull_request' && format('pr {0}: {1}', github.event.number, steps.deploy-info.outputs.message) || steps.deploy-info.outputs.message }}
           alias: ${{ steps.deploy-info.outputs.alias }}
           enable-commit-comment: false
+          fails-without-credentials: true
         env:
           NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
           NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}