From 4c390426cac6367c9c3cb069fbda966560227a34 Mon Sep 17 00:00:00 2001
From: Brad Stein <Brad.Stein@gmail.com>
Date: Sun, 19 Apr 2026 14:41:06 -0300
Subject: [PATCH] ci: run frontend stage under bash for pipefail support

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index bd7d03b..0301070 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -263,6 +263,7 @@ PY
       steps {
         container('frontend') {
           sh '''
+            #!/usr/bin/env bash
             set -euo pipefail
             mkdir -p build
             cd frontend