From 197a013d2e06e7726231485e7c3fba410ee2cb90 Mon Sep 17 00:00:00 2001 From: Alexandre Flament Date: Tue, 17 Nov 2020 15:38:31 +0100 Subject: [PATCH] [fix] fix github workflow bug fix of 9c25cd99c4b2bbeeb96f0a4efc3b2c21b06e1881 --- .github/workflows/integration.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index c61385a0..ccfbeb72 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -68,7 +68,7 @@ jobs: - name: Build documentation 🏗️ run: SEARX_DEBUG=1 make V=1 travis-gh-pages - name: Deploy 🚀 - if: github.ref == 'ref/head/master' + if: github.ref == 'ref/heads/master' uses: JamesIves/github-pages-deploy-action@e774cc50ed6e8e667bca6a331d2a3ba80c79debc with: GITHUB_TOKEN: ${{ github.token }} @@ -78,7 +78,7 @@ jobs: dockers: name: Docker - if: github.ref == 'ref/head/master' + if: github.ref == 'ref/heads/master' needs: - python - themes