Be stricter with side effects in VERIFY #429
real-or-randomci.yml
on: pull_request
Build Docker image
15s
x64 (MSVC): C++ (public headers)
15s
SageMath prover
56s
release
2m 58s
Matrix: ARM64: macOS Sonoma
Matrix: win64-native
Matrix: x86_64: macOS Monterey, Valgrind
s390x (big-endian): Linux (Debian stable, QEMU)
6m 49s
ppc64le: Linux (Debian stable, QEMU)
5m 41s
C++ -fpermissive (entire project)
3m 35s
C++ (public headers)
2m 47s
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
20 warnings
|
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, 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_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, 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
|