[fix] fix github workflow: deploy documentation
commit963b93b5433da09d00904fa231cbef209cbfbc45
authorAlexandre Flament <alex@al-f.net>
dateTue 17 Nov 2020, 15:54 (6 years ago)
parentc9fb3ac
.github/workflows/integration.yml+1−1
@@ -69,7 +69,7 @@ jobs:
6969 run: SEARX_DEBUG=1 make V=1 travis-gh-pages
7070 - name: Deploy 🚀
7171 if: github.ref == 'refs/heads/master'
72− uses: JamesIves/github-pages-deploy-action@e774cc50ed6e8e667bca6a331d2a3ba80c79debc
72+ uses: JamesIves/github-pages-deploy-action@3.7.1
7373 with:
7474 GITHUB_TOKEN: ${{ github.token }}
7575 BRANCH: gh-pages