Ignoring changes due to bug with many files detection

ugr-sail · Sep 18, 2024 · a509fdc · a509fdc
1 parent 4ea3eb4
commit a509fdc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 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: |
           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
@@ -61,18 +61,16 @@ jobs:
           filters: |
             doc:
               - 'docs/source/**'
-              - '!docs/compilation/**'
-              - '!docs/build/**'
       - 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 "[email protected]"