re-enabling ifs for check source doc updates

ugr-sail · Sep 18, 2024 · 9ddbeb7 · 9ddbeb7
1 parent 26c303c
commit 9ddbeb7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/create_pr.yml b/.github/workflows/create_pr.yml
@@ -64,15 +64,15 @@ jobs:
             doc:
               - 'docs/source/**'
       - name: Install dependencies
-        #if: steps.verify-documentation-update.outputs.doc == 'true'
+        if: steps.verify-documentation-update.outputs.doc == 'true'
         run: |
           sudo apt install pandoc
           pip install -e .[doc]
       - name: Check build docs
-        #if: steps.verify-documentation-update.outputs.doc == 'true'
+        if: steps.verify-documentation-update.outputs.doc == 'true'
         run: sphinx-build -M html docs/source docs/build
       - name: Check sphinx spelling
-        #if: steps.verify-documentation-update.outputs.doc == 'true'
+        if: steps.verify-documentation-update.outputs.doc == 'true'
         run: sphinx-build -M spelling docs/source docs/build
 
   tests:

diff --git a/.github/workflows/merge_pr.yml b/.github/workflows/merge_pr.yml
@@ -62,15 +62,15 @@ jobs:
             doc:
               - 'docs/source/**'
       - name: Install dependencies
-        #if: steps.verify-documentation-update.outputs.doc == 'true'
+        if: steps.verify-documentation-update.outputs.doc == 'true'
         run: |
           apt install pandoc
           pip install -e .[doc]
       - name: Build multiversion docs
-        #if: steps.verify-documentation-update.outputs.doc == 'true'
+        if: steps.verify-documentation-update.outputs.doc == 'true'
         run: sphinx-multiversion docs/source docs/compilation
       - name: Deploy to GitHub Pages
-        #if: steps.verify-documentation-update.outputs.doc == 'true'
+        if: steps.verify-documentation-update.outputs.doc == 'true'
         run: |
           git config --local user.name "GitHub Actions"
           git config --local user.email "actions@github.com"