diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ac5b376f47c71034d82729874fb24a12db08963f..d1ca41ffe61902a55f43a67bd9f4c707acf78740 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -91,15 +91,6 @@ jobs:
                 . ci-support.sh
                 build_py_project_in_conda_env
                 conda install graphviz
-
-                # Work around
-                # intersphinx inventory 'https://firedrakeproject.org/objects.inv' not fetchable
-                # by deleting all the Firedrake stuff
-                rm -Rf meshmode/interop/firedrake
-                sed -i '/firedrakeproject/d' doc/conf.py
-                sed -i '/interop/d' doc/index.rst
-                rm doc/interop.rst
-
                 build_docs
 
     downstream_tests: