cmake: Clean up cases when to invoke enable_testing()
#598
hebastoci.yml
on: push
Build Docker image
9s
x64 (MSVC): C++ (public headers)
25s
SageMath prover
58s
release
2m 55s
Matrix: ARM64: macOS Sonoma
Matrix: win64-native
Matrix: x86_64: macOS Monterey, Valgrind
s390x (big-endian): Linux (Debian stable, QEMU)
8m 14s
ppc64le: Linux (Debian stable, QEMU)
5m 45s
C++ -fpermissive (entire project)
3m 34s
C++ (public headers)
2m 49s
Matrix: ARM32: Linux (Debian stable, QEMU)
Matrix: ARM64: Linux (Debian stable, QEMU)
Matrix: i686: Linux (Debian stable)
Matrix: x86_64: Linux (Debian stable)
Matrix: mingw_debian
Matrix: MSan
Matrix: UBSan, ASan, LSan
Matrix: Valgrind (memcheck)
Annotations
21 warnings
|
ARM64: macOS Sonoma (int128, yes, yes, yes, yes)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (distcheck)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (distcheck)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128_struct, 2, 4)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128_struct, 2, 4)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, gcc)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, gcc)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, -DVERIFY, no)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, -DVERIFY, no)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int64, yes, yes, yes, yes)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int64, yes, yes, yes, yes)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, gcc, valgrind --error-exitcode=42, 2)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, gcc, valgrind --error-exitcode=42, 2)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, valgrind --error-exitcode=42, 2)
libtool 2.4.7 is already installed and up-to-date.
To reinstall 2.4.7, run:
brew reinstall libtool
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, valgrind --error-exitcode=42, 2)
gcc 14.1.0_1 is already installed and up-to-date.
To reinstall 14.1.0_1, run:
brew reinstall gcc
|