CI: Use bash instead of sh

In preparation for using `pushd`/`popd` use `bash` to run the CI script
instead of `sh`.
This commit is contained in:
Tobin C. Harding 2023-08-10 09:48:02 +10:00
parent cf5f1034ca
commit 5e6dd8a467
No known key found for this signature in database
GPG Key ID: 40BF9E4C269D6607
1 changed files with 1 additions and 1 deletions

View File

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