From c9fb3ac34f9cf346a031c0cbf42536a0a17d2edd Mon Sep 17 00:00:00 2001
From: Alexandre Flament <alex@al-f.net>
Date: Tue, 17 Nov 2020 15:44:50 +0100
Subject: [PATCH] [fix] fix github workflow
---
.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 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