Revert "ci: use sh instead of bash"

This reverts commit 70b07dfabf.
merge-requests/638/head
Matthias Ahouansou 2 months ago
parent 6b669d2f4d
commit f9953c31fc
No known key found for this signature in database

@ -1,4 +1,4 @@
#!/usr/bin/env sh
#!/usr/bin/env bash
set -euo pipefail

Loading…
Cancel
Save