Deploy key updatd

DGtal-team · Jun 12, 2024 · f2dea45 · f2dea45
1 parent d664f4b
commit f2dea45
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/buildAndDocumentation.yml b/.github/workflows/buildAndDocumentation.yml
@@ -166,10 +166,10 @@ jobs:
          make doc > buildDoc.log
 
     - name: Deploy to GitHub Pages
-      uses: JamesIves/github-pages-deploy-action@4.1.4
+      uses: JamesIves/github-pages-deploy-action@4.6.1
       if: github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true
       with:
-        token: ${{ secrets.DEPLOYTOKEN }}
+        token: ${{ secrets.DGTALTOOLSDOC }}
         branch: master
         repository-name: DGtal-team/doctools-nightly
         folder: build/html