Browse Source

[fix] fix github workflow: deploy documentation

Alexandre Flament 4 years ago
parent
commit
963b93b543
1 changed files with 1 additions and 1 deletions
  1. 1 1
      .github/workflows/integration.yml

+ 1 - 1
.github/workflows/integration.yml

@@ -69,7 +69,7 @@ jobs:
       run: SEARX_DEBUG=1 make V=1 travis-gh-pages
     - name: Deploy 🚀
       if:  github.ref == 'refs/heads/master'
-      uses: JamesIves/github-pages-deploy-action@e774cc50ed6e8e667bca6a331d2a3ba80c79debc
+      uses: JamesIves/github-pages-deploy-action@3.7.1
       with:
         GITHUB_TOKEN: ${{ github.token }}
         BRANCH: gh-pages