CI

build: Add build option for batch module #20

Sign in to view logs

Triggered via push December 3, 2024 22:05

fjahr

pr1134-rebase-2024

Status Failure

Total duration 49m 24s

Artifacts –

ci.yml

on: push

Build Docker image

x64 (MSVC): C++ (public headers)

SageMath prover

Matrix: ARM64: macOS Sonoma

Matrix: win64-native

Matrix: x86_64: macOS Ventura, Valgrind

s390x (big-endian): Linux (Debian stable, QEMU)

ppc64le: Linux (Debian stable, QEMU)

C++ -fpermissive (entire project)

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)

Annotations

8 errors and 82 warnings

Process completed with exit code 2.

ARM64: macOS Sonoma (distcheck)

Process completed with exit code 2.

x86_64: macOS Ventura, Valgrind (distcheck)

Process completed with exit code 2.

x86_64: Linux (Debian stable) (distcheck, no, no, no, clang)

Process completed with exit code 2.

x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc)

Process completed with exit code 2.

x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc-snapshot)

Process completed with exit code 2.

x86_64: Linux (Debian stable) (distcheck, no, no, no, clang-snapshot)

Process completed with exit code 2.

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, gcc)

buildx failed with: ERROR: failed to solve: Unavailable: failed to copy to tar: rpc error: code = Unavailable desc = error reading from server: rpc error: code = Canceled desc = context canceled

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

SageMath prover

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Build Docker image

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

C++ (public headers)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (86, 4, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (86, 4, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (86, 4, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (2, 2, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (2, 2, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (2, 2, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (2, 2, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (86, 4, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64 (mingw32-w64): Windows (Debian stable, Wine)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

C++ -fpermissive (entire project)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

UBSan, ASan, LSan (clang, auto)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

UBSan, ASan, LSan (clang, no, 2, 2)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

i686 (mingw32-w64): Windows (Debian stable, Wine)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ARM64: Linux (Debian stable, QEMU) (clang-snapshot --target=aarch64-linux-gnu)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

i686: Linux (Debian stable) (clang --target=i686-pc-linux-gnu -isystem /usr/i686-linux-gnu/include)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Valgrind (memcheck) (clang, auto)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Valgrind (memcheck) (clang, no, 2, 2)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ppc64le: Linux (Debian stable, QEMU)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

i686: Linux (Debian stable) (i686-linux-gnu-gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ARM64: Linux (Debian stable, QEMU) (clang --target=aarch64-linux-gnu)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ARM64: Linux (Debian stable, QEMU)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O0, no, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

MSan (-fsanitize=memory -fsanitize-recover=memory -fsanitize-memory-param-retval -g, no)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

s390x (big-endian): Linux (Debian stable, QEMU)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O0, no, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O0, no, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (-O0, no, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

MSan (2, 2, yes, -fsanitize=memory -fsanitize-recover=memory -g -O3)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

MSan (yes, -fsanitize=memory -fsanitize-recover=memory -g)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, x86_64, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, x86_64, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128_struct, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128_struct, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, auto)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ARM32: Linux (Debian stable, QEMU) (yes, arm32)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, -DVERIFY, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, -DVERIFY, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128_struct, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (yes, yes, yes, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (yes, yes, yes, yes, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, -DVERIFY, clang)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ARM32: Linux (Debian stable, QEMU)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (yes, yes, yes, yes, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, -DVERIFY, clang-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (yes, yes, yes, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, gcc)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int128_struct, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, gcc-snapshot)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, auto)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636