Add benchmarks comparison job

2024-05-11 19:40:11 +02:00 · 2024-05-11 19:40:11 +02:00 · 2423687b2f
commit 2423687b2f
parent bf1e3a1b1d
1 changed files with 1 additions and 1 deletions
--- a/scripts/ci/run_benchmarks.sh
+++ b/scripts/ci/run_benchmarks.sh
@ -1,5 +1,5 @@
 #!/bin/bash
-set -e pipefail
+set -eou pipefail

 function run_benchmarks_for_folder {
    echo "Running benchmarks for $1"