github action added to build sphinx-based doc.

jmnavarrol · Sep 23, 2023 · f907789 · f907789
1 parent defeeef
commit f907789
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml
@@ -6,7 +6,7 @@ permissions:
 jobs:
   sphinx_doc:
     runs-on: ubuntu-latest
-    if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/publish-sphinx-tmp' }}
+    if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/publish-sphinx' }}
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v4