Use Bash for all GitHub Actions CI jobs

We didn't catch an error with an error being eaten away with a piped
command. The benefits of being POSIX compliant are slim for the CI jobs.

The -o pipefail is added for al scripts (also if they don't use a `|`
yet) and where we don't have set -eu yet this is added but not the -x to
keep the looks the same.

Author: vmcj

.github/jobs/baseinstall.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 . .github/jobs/ci_settings.sh
 
@@ -13,7 +13,7 @@ export APP_ENV="${4:-prod}"
 
 MYSQL_ROOT_PASSWORD=${MYSQL_ROOT_PASSWORD:-root}
 
-set -eux
+set -euxo pipefail
 
 if [ -z "$phpversion" ]; then
 phpversion=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')

.github/jobs/chroot_checks.sh

@@ -20,6 +20,8 @@ FAILED=0
 
 trap finish EXIT
 
+set -euo pipefail
+
 DIR=$PWD
 section_start "Debug info"
 lsb_release -a   | tee -a "$ARTIFACTS/debug-info"

.github/jobs/composer_setup.sh

@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 
-set -eux
+set -euxo pipefail
 
 . .github/jobs/ci_settings.sh
 

.github/jobs/configure-checks/setup_configure_image.sh

@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 
-set -eux
+set -euxo pipefail
 
 distro_id=$(grep "^ID=" /etc/os-release)
 

.github/jobs/fix_pipelinecomponents_image.sh

@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 
-set -eux
+set -euxo pipefail
 
 echo "Set plugin config for version detection"
 phpcs --config-set installed_paths /app/vendor/phpcompatibility/php-compatibility

.github/jobs/getapi.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-set -eux 
+set -euxo pipefail
 
 # Ignore the CLICS API strict mode
 sudo sed -i "s/'strict'/'ignore-clics'/g" /opt/domjudge/domserver/webapp/src/Controller/API/AbstractRestController.php

.github/jobs/unit-tests.sh

@@ -2,6 +2,8 @@
 
 . .github/jobs/ci_settings.sh
 
+set -euo pipefail
+
 DIR="$PWD"
 
 export version=$1

.github/jobs/webstandard.sh

@@ -2,6 +2,8 @@
 
 . .github/jobs/ci_settings.sh
 
+set -euo pipefail
+
 DIR="$PWD"
 
 if [ "$#" -ne "2" ]; then