[fix] fix github workflow
bug fix of 9c25cd99c4b2bbeeb96f0a4efc3b2c21b06e1881
commit197a013d2e06e7726231485e7c3fba410ee2cb90
authorAlexandre Flament <alex@al-f.net>
dateTue 17 Nov 2020, 15:38 (6 years ago)
parent2fc7273
.github/workflows/integration.yml+2−2
@@ -68,7 +68,7 @@ jobs:
6868 - name: Build documentation 🏗️
6969 run: SEARX_DEBUG=1 make V=1 travis-gh-pages
7070 - name: Deploy 🚀
71− if: github.ref == 'ref/head/master'
71+ if: github.ref == 'ref/heads/master'
7272 uses: JamesIves/github-pages-deploy-action@e774cc50ed6e8e667bca6a331d2a3ba80c79debc
7373 with:
7474 GITHUB_TOKEN: ${{ github.token }}
@@ -78,7 +78,7 @@ jobs:
7878
7979 dockers:
8080 name: Docker
81− if: github.ref == 'ref/head/master'
81+ if: github.ref == 'ref/heads/master'
8282 needs:
8383 - python
8484 - themes