Remove unused scratch space from API #581
Triggered via pull request
October 21, 2024 09:14
jonasnick
Status
Cancelled
Total duration
5m 11s
Artifacts
–
ci.yml
on: pull_request
Build Docker image
4m 51s
x64 (MSVC): C++ (public headers)
26s
SageMath prover
59s
release
3m 0s
Matrix: ARM64: macOS Sonoma
Matrix: win64-native
Matrix: x86_64: macOS Monterey, Valgrind
s390x (big-endian): Linux (Debian stable, QEMU)
0s
ppc64le: Linux (Debian stable, QEMU)
0s
C++ -fpermissive (entire project)
0s
C++ (public headers)
0s
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
22 errors
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, yes, yes, valgrind --error-exitcode...
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, yes, yes, gcc, valgrind --error-exi...
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, yes, yes, gcc)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, yes)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (int64, yes, yes, yes, yes, yes, yes)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, yes, yes, -DVERIFY, no)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x64 (MSVC): Windows (VS 2022, shared)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x64 (MSVC): Windows (VS 2022, shared)
The operation was canceled.
|
|
ARM64: macOS Sonoma (int64, yes, yes, yes, yes, yes)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86 (MSVC): Windows (VS 2022)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86 (MSVC): Windows (VS 2022)
The operation was canceled.
|
|
x64 (MSVC): Windows (VS 2022, static)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x64 (MSVC): Windows (VS 2022, static)
The operation was canceled.
|
|
x64 (MSVC): Windows (VS 2022, int128_struct)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
Build Docker image
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
Build Docker image
The operation was canceled.
|
|
x86_64: macOS Monterey, Valgrind (int128, yes, yes, yes, yes, yes, yes)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (distcheck)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (distcheck)
The operation was canceled.
|
|
x86_64: macOS Monterey, Valgrind (int128_struct, 2, 4)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|
|
x86_64: macOS Monterey, Valgrind (int128_struct, 2, 4)
The operation was canceled.
|
|
x86_64: macOS Monterey, Valgrind (int128, yes)
Canceling since a higher priority waiting request for 'refs/pull/1620/merge' exists
|