Convert to deploy_key for gh pages (#344)

purescript-contrib · May 18, 2021 · 6dacfa9 · 6dacfa9
1 parent 86aea76
commit 6dacfa9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml
@@ -22,6 +22,6 @@ jobs:
         uses: peaceiris/actions-gh-pages@v3
         if: github.ref == 'refs/heads/master'
         with:
-          github_token: ${{ secrets.GITHUB_REPO_DEPLOY_KEY }}
+          deploy_key: ${{ secrets.GITHUB_REPO_DEPLOY_KEY }}
           publish_dir: ./book
           cname: book.purescript.org