diff options
| -rw-r--r-- | .github/workflows/integration.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index ccfbeb724..bd348d270 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/heads/master' + if: github.ref == 'refs/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/heads/master' + if: github.ref == 'refs/heads/master' needs: - python - themes |