ci: use bash to run tests

BenoitZugmeyer · Aug 25, 2024 · 05f5133 · 05f5133
1 parent 969a2e5
commit 05f5133
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/test.sh b/tools/test.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -euo pipefail