Merge pull request #138 from gsteel/3.1-into-3.2-sync

Synchronize branch 3.1.x with 3.2.x

.laminas-ci/pre-install.sh

@@ -8,5 +8,12 @@ COMMAND=$(echo "${JOB}" | jq -r '.command // ""')
 PHP=$(echo "${JOB}" | jq -r '.php // ""')
 REDIS_VERSION=${BASH_REMATCH[1]}
 
+echo "SETUP: Installing ext-redis $REDIS_VERSION with PHP $PHP..."
 pecl install -f --configureoptions 'enable-redis-igbinary="yes" enable-redis-lzf="yes"' igbinary redis-${REDIS_VERSION}
+
+if [ $? -ne 0 ]; then
+  echo "ERROR: Installation of ext-redis $REDIS_VERSION with PHP $PHP failed."
+  exit 1
+fi
+
 echo "extension=redis.so" > /etc/php/${PHP}/mods-available/redis.ini