summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2020-11-17 15:38:31 +0100
committerAlexandre Flament <alex@al-f.net>2020-11-17 15:38:31 +0100
commit197a013d2e06e7726231485e7c3fba410ee2cb90 (patch)
treebbd43a9cfeb23a5c16e35a470fc4620ba315bfbc
parent2fc7273141a9faa6af569d2ed5c69a171bd14816 (diff)
downloadsearxng-197a013d2e06e7726231485e7c3fba410ee2cb90.tar.gz
searxng-197a013d2e06e7726231485e7c3fba410ee2cb90.zip
[fix] fix github workflow
bug fix of 9c25cd99c4b2bbeeb96f0a4efc3b2c21b06e1881
-rw-r--r--.github/workflows/integration.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index c61385a09..ccfbeb724 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