Disable profiling page build on pull requests (#2048)

.github/workflows/build-docs.yml

@@ -75,6 +75,20 @@ jobs:
       - name: Install package
         run: pip install -e .
 
+      - name: Set profiling option
+        run: |
+          if [[ $EVENT == pull_request_target ]]; then
+            echo "DISABLE_PROFILING=1" >> $GITHUB_ENV
+
+          else
+            echo "DISABLE_PROFILING=0" >> $GITHUB_ENV
+
+          fi
+
+          cat $GITHUB_ENV
+        env:
+          EVENT: ${{ github.event_name }}
+
       - name: Build documentation
         run: cd docs/ && make html CORES=auto
 

docs/conf.py

@@ -68,6 +68,9 @@
 exclude_patterns.append("resources/research_done_using_TARDIS/ads.ipynb")
 exclude_patterns.append("physics/energy_input/gammaray_deposition.ipynb")
 
+if os.getenv("DISABLE_PROFILING"):
+    exclude_patterns.append("contributing/development/profiling/**.ipynb")
+
 # This is added to the end of RST files - a good place to put substitutions to
 # be used globally.
 rst_epilog = """