Merge pull request #63 from antoniovazquezblanco/dev/docfix

Fix doc deployment
BatchDrake · Jun 18, 2023 · 09ea33f · 09ea33f
2 parents a100653 + 22d3f69
commit 09ea33f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -31,17 +31,17 @@ jobs:
         path: build/doc/html/
 
     - name: Setup Pages
-      if: contains('develop', github.ref)
+      if: contains(github.ref, 'develop')
       uses: actions/configure-pages@v3
       with:
         enablement: true
 
     - name: Upload documentation to Github Pages
-      if: contains('develop', github.ref)
+      if: contains(github.ref, 'develop')
       uses: actions/upload-pages-artifact@v1
       with:
         path: build/doc/html/
 
     - name: Deploy to GitHub Pages
-      if: contains('develop', github.ref)
+      if: contains(github.ref, 'develop')
       uses: actions/deploy-pages@v2