fix(CI): use correct error

2025-04-29 12:16:44 +02:00 · 2024-03-10 16:41:18 +01:00 · 2024-03-10 16:41:18 +01:00 · 8b8b20d2f5
commit 8b8b20d2f5
parent 040e5c3c63
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -34,7 +34,7 @@ pipeline {
                git submodule update --init
                make clean || true
                rm -rf build/* || true
-                mkdir build
+                mkdir build || true
                '''
            }
        }