Small changes/fixes #4726

Job	Run time
testinstall - - ubuntu-latest	4m 57s
teststandard - - ubuntu-latest	26m 32s
testmanuals - - ubuntu-latest	6m 28s
testexpect testmockpkg testspecial test-compile testlibgap testkernel - - ubuntu-latest	4m 6s
testpackages testinstall-loadall - - ubuntu-latest	21m 24s
makemanuals testmakeinstall - GAPPREFIX=/tmp/gapprefix CONFIGFLAGS="--prefix=/tmp/gapprefix" NO_COVERAGE=1 - ubuntu-latest	5m 43s
teststandard - ABI=32 CONFIGFLAGS="" - ubuntu-20.04	26m 11s
testinstall - HPCGAP=yes ABI=64 - ubuntu-latest	8m 18s
testmockpkg testinstall - BOOTSTRAP_MINIMAL=yes - macos-latest	9m 25s
testbugfix - CONFIGFLAGS="--enable-memory-checking" - ubuntu-latest	15m 35s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree CONFIGFLAGS="--enable-valgrind" - ubuntu-latest	4m 16s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS="" - ubuntu-20.04	4m 8s
testinstall - JULIA=yes CONFIGFLAGS="--enable-debug --disable-Werror" - ubuntu-20.04	4m 49s
testmockpkg testinstall - - windows-2019	15m 57s
Send Slack notification on status change	1s
	2h 37m 50s

Provide feedback