diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index e6c2b6e37f..8f8c1d2c7d 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -247,7 +247,6 @@ jobs:
 
     env:
       TEST_SUITES: testinstall
-      NO_COVERAGE: 1
 
     steps:
       # This sets git to use UNIX line endings. While GAP should allow Windows
diff --git a/bin/BuildPackages.sh b/bin/BuildPackages.sh
index 6297250b61..4e58dcc3f3 100755
--- a/bin/BuildPackages.sh
+++ b/bin/BuildPackages.sh
@@ -269,7 +269,7 @@ build_one_package() {
 date >> "$LOGDIR/fail.log"
 for PKG in "${PACKAGES[@]}"
 do 
-  ( 
+  (  # start a background process
   # cut off the ending slash (if exists)
   PKG="${PKG%/}"
   # cut off everything before the first slash to only keep the package name
@@ -307,6 +307,7 @@ do
     warning "$PKG does not seem to be a package directory, skipping"
   fi
   ) &
+  BUILD_PID=$!
   if [ "x$PARALLEL" = "xyes" ]; then
     # If more than 4 background jobs are running, wait for one to finish (if
     # <wait -n> is available) or for all to finish (if only <wait> is available)
@@ -315,7 +316,10 @@ do
     fi
   else
     # wait for this package to finish building
-    wait
+    if ! wait $BUILD_PID && [[ $STRICT = yes ]]
+    then
+      exit 1
+    fi
   fi;
 done
 # Wait until all packages are built, if in parallel