Skip to content
CI

Add Exec2, the "better version of Exec" #5090

Sign in to view logs

Add Exec2, the "better version of Exec"

Add Exec2, the "better version of Exec" #5090

Run time

Learn about OS pricing on GitHub Actions
Job Run time
testinstall - - ubuntu-latest
4m 28s
teststandard - - ubuntu-latest
18m 47s
testmanuals - - ubuntu-latest
5m 47s
testexpect testmockpkg testspecial test-compile testlibgap testkernel testworkspace - - ubuntu-latest
6m 32s
testpackages testinstall-loadall - - ubuntu-latest
26m 10s
makemanuals testmakeinstall - CONFIGFLAGS="--prefix=/tmp/gapprefix" NO_COVERAGE=1 - ubuntu-latest
5m 17s
teststandard - ABI=32 CONFIGFLAGS="" - ubuntu-20.04
18m 2s
testinstall - HPCGAP=yes ABI=64 - ubuntu-latest
7m 19s
testmockpkg testinstall - BOOTSTRAP_MINIMAL=yes - macos-latest
5m 23s
testbugfix - CONFIGFLAGS="--enable-memory-checking" - ubuntu-latest
35m 2s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree CONFIGFLAGS="--enable-valgrind" - ubuntu-latest
3m 51s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS="" - ubuntu-20.04
2m 49s
testinstall - JULIA=yes CONFIGFLAGS="--enable-debug --disable-Werror" - ubuntu-20.04
4m 45s
testmockpkg testinstall - - windows-2019
55m 33s
Send Slack notification on status change
7s
3h 19m 52s