cmake: Add halfagg module option #12
ci.yml
on: push
Build Docker image
8s
x64 (MSVC): C++ (public headers)
28s
SageMath prover
1m 8s
release
3m 0s
Matrix: ARM64: macOS Sonoma
Matrix: win64-native
Matrix: x86_64: macOS Ventura, Valgrind
s390x (big-endian): Linux (Debian stable, QEMU)
9m 38s
ppc64le: Linux (Debian stable, QEMU)
7m 19s
C++ -fpermissive (entire project)
3m 52s
C++ (public headers)
1m 25s
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
10 errors
x86_64: macOS Ventura, Valgrind (distcheck)
Failed to download resource "valgrind"
Failure while executing; `/usr/bin/env git clone --branch main --config advice.detachedHead=false --config core.fsmonitor=false https://github.com/LouisBrunner/valgrind-macos.git /Users/runner/Library/Caches/Homebrew/valgrind--git` exited with 128. Here's the output:
Cloning into '/Users/runner/Library/Caches/Homebrew/valgrind--git'...
error: 4136 bytes of body are still expected
fetch-pack: unexpected disconnect while reading sideband packet
fatal: early EOF
fatal: fetch-pack: invalid index-pack output
|
x86_64: macOS Ventura, Valgrind (distcheck)
Process completed with exit code 1.
|
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, yes, yes, clang-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, yes, yes, clang-snapshot)
Process completed with exit code 2.
|
x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, clang-snapshot)
Process completed with exit code 2.
|
x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, yes, clang-snapshot)
Process completed with exit code 2.
|
x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, yes, -DVERIFY, clang-snapshot)
Process completed with exit code 2.
|
x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, yes, clang-snapshot)
Process completed with exit code 2.
|
UBSan, ASan, LSan (clang, no, 2, 2)
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
|