Fix website build (#5068)

* Change intersphinx for pytorch

* Reorder docs build steps to make sure intersphinx happens in the docs build (and thus provokes the failure)

Author: connorjward

.github/workflows/core.yml

@@ -649,15 +649,7 @@ jobs:
           firedrake-clean
           pip list
 
-      - name: Check bibtex
-        run: make -C firedrake-repo/docs validate-bibtex
-
-      - name: Check documentation links
-        if: success() || steps.install.conclusion == 'success'
-        run: make -C firedrake-repo/docs linkcheck
-
       - name: Build documentation
-        if: success() || steps.install.conclusion == 'success'
         id: build_docs
         working-directory: firedrake-repo/docs
         run: |
@@ -667,6 +659,14 @@ jobs:
           # : Copy manual to HTML tree
           cp build/latex/Firedrake.pdf build/html/_static/manual.pdf
 
+      - name: Check bibtex
+        if: success() || steps.install.conclusion == 'success'
+        run: make -C firedrake-repo/docs validate-bibtex
+
+      - name: Check documentation links
+        if: success() || steps.install.conclusion == 'success'
+        run: make -C firedrake-repo/docs linkcheck
+
       - name: Upload documentation
         uses: actions/upload-pages-artifact@v3
         id: upload_docs

docs/source/conf.py

@@ -435,7 +435,7 @@
     'pyadjoint': ('https://pyadjoint.org/', None),
     'numpy': ('https://numpy.org/doc/stable/', None),
     'loopy': ('https://documen.tician.de/loopy/', None),
-    'torch': ('https://pytorch.org/docs/stable/', None),
+    'torch': ('https://pytorch.org/docs/main/', None),
     'jax': ('https://jax.readthedocs.io/en/latest/', None)
 }