From f3ad0b7081167f36e6a6bf1d658b6a194da8dd57 Mon Sep 17 00:00:00 2001 From: David Coeurjolly Date: Wed, 12 Jun 2024 13:57:52 +0200 Subject: [PATCH] Deploy key again --- .github/workflows/buildAndDocumentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/buildAndDocumentation.yml b/.github/workflows/buildAndDocumentation.yml index 73868eef..376a7d2f 100644 --- a/.github/workflows/buildAndDocumentation.yml +++ b/.github/workflows/buildAndDocumentation.yml @@ -166,7 +166,7 @@ jobs: make doc > buildDoc.log - name: Deploy to GitHub Pages - uses: JamesIves/github-pages-deploy-action@4.6.1 + uses: JamesIves/github-pages-deploy-action@v4 if: github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true with: token: ${{ secrets.DGTALTOOLSDOC }}