From 0231246ea3cdd39434aac7a43750b42a6f29e156 Mon Sep 17 00:00:00 2001
From: theodu <theo.dullin@kili-technology.com>
Date: Thu, 5 Oct 2023 15:57:28 +0200
Subject: [PATCH] feat: make job build fails if the build fails

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0e52c67bc..76dc68d8e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -139,6 +139,7 @@ jobs:
 
       - name: Build
         run: |
+          set -e  # Enable "exit on error" behavior
           mkdocs build 2>&1 | tee doc-build.log
 
       - name: Look for Warnings