cmake: Allow user to override CMAKE_C_FLAGS_COVERAGE
#602
hebastoci.yml
on: push
Build Docker image
7s
x64 (MSVC): C++ (public headers)
35s
SageMath prover
56s
release
3m 21s
Matrix: ARM64: macOS Sonoma
Matrix: win64-native
Matrix: x86_64: macOS Monterey, Valgrind
s390x (big-endian): Linux (Debian stable, QEMU)
7m 55s
ppc64le: Linux (Debian stable, QEMU)
5m 39s
C++ -fpermissive (entire project)
3m 45s
C++ (public headers)
1m 51s
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
5 errors and 21 warnings
|
x64 (MSVC): Windows (VS 2022, int128_struct)
Process completed with exit code 1.
|
|
x64 (MSVC): Windows (VS 2022, static)
Process completed with exit code 1.
|
|
x64 (MSVC): Windows (VS 2022, shared)
Process completed with exit code 1.
|
|
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)
Process completed with exit code 1.
|
|
x86 (MSVC): Windows (VS 2022)
Process completed with exit code 1.
|
|
ARM64: macOS Sonoma (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 (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, -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 (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 (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
|