From 769e479c03dd6671252d4f83c1fa2aaa03bee2c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Kl=C3=B6ckner?= <inform@tiker.net>
Date: Wed, 5 May 2021 17:46:20 -0500
Subject: [PATCH] Drop firedrake-related doc workarounds
---
.github/workflows/ci.yml | 9 ---------
1 file changed, 9 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ac5b376..d1ca41f 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:
--
GitLab