From f420c13d0e459e9c9adea1837b1e0e2499857ae9 Mon Sep 17 00:00:00 2001 From: Daniel McCloy Date: Thu, 18 Jan 2024 16:58:38 -0600 Subject: [PATCH] in CIs, pin sphinx dev temporarily --- tools/github_actions_install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/github_actions_install.sh b/tools/github_actions_install.sh index be93503f8..598ba6fb8 100755 --- a/tools/github_actions_install.sh +++ b/tools/github_actions_install.sh @@ -7,7 +7,7 @@ export PYTHONUTF8=1 if [[ "$SPHINX_VERSION" == "" ]]; then SPHINX_INSTALL="" elif [[ "$SPHINX_VERSION" == "dev" ]]; then - SPHINX_INSTALL="git+https://github.com/sphinx-doc/sphinx" + SPHINX_INSTALL="git+https://github.com/sphinx-doc/sphinx@841f2bd9b70e3559daf34c0d33210b1d24b621c1" elif [[ "$SPHINX_VERSION" == "old" ]]; then SPHINX_INSTALL="sphinx==6.1.0" else # not used currently but easy enough