From 5d3d5f6589fdd42d92f2e3428faa6d619b48b993 Mon Sep 17 00:00:00 2001
From: Amir MOHAMMADI <amir.mohammadi@idiap.ch>
Date: Thu, 25 Mar 2021 15:01:07 +0100
Subject: [PATCH] Skip sphinx checks in pre-commit checks
---
bob/devtools/scripts/ci.py | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 6d51c233..b2b49d73 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -1020,4 +1020,9 @@ def check(root):
from ..bootstrap import run_cmdline
run_cmdline(["pip", "install", "pre-commit"])
- run_cmdline(["pre-commit", "run", "--all-files"])
+ try:
+ backup = os.environ.get("SKIP", "")
+ os.environ["SKIP"] = "sphinx-build,sphinx-doctest"
+ run_cmdline(["pre-commit", "run", "--all-files"])
+ finally:
+ os.environ["SKIP"] = backup
--
GitLab