on master help sign in
[fix] fix github workflow
197a013Alexandre Flament
.github/workflows/integration.yml+2โˆ’2
@@ -68,7 +68,7 @@ jobs:
68 - name: Build documentation ๐Ÿ—๏ธ
68 - name: Build documentation ๐Ÿ—๏ธ
69 run: SEARX_DEBUG=1 make V=1 travis-gh-pages
69 run: SEARX_DEBUG=1 make V=1 travis-gh-pages
70 - name: Deploy ๐Ÿš€
70 - name: Deploy ๐Ÿš€
71โˆ’ if: github.ref == 'ref/head/master'
71+ if: github.ref == 'ref/heads/master'
72 uses: JamesIves/github-pages-deploy-action@e774cc50ed6e8e667bca6a331d2a3ba80c79debc
72 uses: JamesIves/github-pages-deploy-action@e774cc50ed6e8e667bca6a331d2a3ba80c79debc
73 with:
73 with:
74 GITHUB_TOKEN: ${{ github.token }}
74 GITHUB_TOKEN: ${{ github.token }}
@@ -78,7 +78,7 @@ jobs:
78
78
79 dockers:
79 dockers:
80 name: Docker
80 name: Docker
81โˆ’ if: github.ref == 'ref/head/master'
81+ if: github.ref == 'ref/heads/master'
82 needs:
82 needs:
83 - python
83 - python
84 - themes
84 - themes