CI: fail when docs fail to build

2021-02-13 12:26:44 +01:00 · 2021-02-13 12:26:44 +01:00 · d2c9efc98f
parent 748fc93699
commit d2c9efc98f
1 changed files with 1 additions and 1 deletions
--- 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)