From 963b93b5433da09d00904fa231cbef209cbfbc45 Mon Sep 17 00:00:00 2001 From: Alexandre Flament Date: Tue, 17 Nov 2020 15:54:14 +0100 Subject: [PATCH] [fix] fix github workflow: deploy documentation --- .github/workflows/integration.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index bd348d27..8821ec2d 100644 --- a/.github/workflows/integration.yml +++ b/.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