From d2c9efc98f2b6ccbe3ee7087b0c8b39783682eff Mon Sep 17 00:00:00 2001 From: Maximilian Hils Date: Sat, 13 Feb 2021 12:26:44 +0100 Subject: [PATCH] CI: fail when docs fail to build --- docs/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/build.py b/docs/build.py index 67ce6c3fe..379d8f976 100755 --- a/docs/build.py +++ b/docs/build.py @@ -14,4 +14,4 @@ for script in (here / "scripts").glob("*.py"): if (here / "public").exists(): shutil.rmtree(here / "public") -subprocess.run(["hugo"], cwd=here / "src") +subprocess.run(["hugo"], cwd=here / "src", check=True)