Skip to content
CI

Be stricter with side effects in VERIFY #57

Sign in to view logs

Be stricter with side effects in VERIFY

Be stricter with side effects in VERIFY #57

Triggered via push January 17, 2024 18:05
@real-or-randomreal-or-random
pushed a24dd53
202401-i-side-effect
Status Failure
Total duration 53m 45s
Artifacts –

ci.yml

on: push
Build Docker image
20m 12s
Build Docker image
x64 (MSVC): C++ (public headers)
25s
x64 (MSVC): C++ (public headers)
SageMath prover
1m 11s
SageMath prover
release
36s
release
Matrix: x86_64: macOS Monterey
Matrix: win64-native
s390x (big-endian): Linux (Debian stable, QEMU)
2m 30s
s390x (big-endian): Linux (Debian stable, QEMU)
ppc64le: Linux (Debian stable, QEMU)
2m 54s
ppc64le: Linux (Debian stable, QEMU)
C++ -fpermissive (entire project)
4m 13s
C++ -fpermissive (entire project)
C++ (public headers)
1m 47s
C++ (public headers)
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)
Fit to window
Zoom out
Zoom in

Annotations

38 errors
release
Process completed with exit code 2.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, gcc)
Process completed with exit code 1.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, gcc, valgrind --error-exitcode=42, 2)
Process completed with exit code 1.
s390x (big-endian): Linux (Debian stable, QEMU)
Process completed with exit code 1.
ARM64: Linux (Debian stable, QEMU)
Process completed with exit code 1.
ppc64le: Linux (Debian stable, QEMU)
Process completed with exit code 1.
UBSan, ASan, LSan (clang, auto)
Process completed with exit code 2.
UBSan, ASan, LSan (clang, no, 2, 2)
Process completed with exit code 2.
x86_64: Linux (Debian stable) (2, 2, gcc)
Process completed with exit code 1.
x86_64 (mingw32-w64): Windows (Debian stable, Wine)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (2, 2, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (8, 4, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (8, 4, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-O0, no, gcc)
Process completed with exit code 2.
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-O0, no, clang-snapshot)
Process completed with exit code 2.
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-O0, no, gcc-snapshot)
Process completed with exit code 2.
x86_64: Linux (Debian stable) (int128, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (-O0, no, clang)
Process completed with exit code 2.
x86_64: Linux (Debian stable) (int128_struct, yes, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, yes, yes, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128_struct, yes, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (int128, yes, yes, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, gcc-snapshot)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (yes, yes, gcc)
Process completed with exit code 1.
x86_64: Linux (Debian stable) (yes, yes, gcc-snapshot)
Process completed with exit code 1.
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, auto)
buildx failed with: ERROR: failed to solve: failed to copy: read tcp 172.17.0.2:48730->20.209.146.193:443: read: connection timed out