doc: Improve cmake instructions in README #15
fjahrci.yml
on: push
Build Docker image
21m 54s
x64 (MSVC): C++ (public headers)
17s
SageMath prover
1m 3s
release
3m 5s
Matrix: ARM64: macOS Sonoma
Matrix: win64-native
Matrix: x86_64: macOS Ventura, Valgrind
s390x (big-endian): Linux (Debian stable, QEMU)
9m 45s
ppc64le: Linux (Debian stable, QEMU)
7m 53s
C++ -fpermissive (entire project)
4m 11s
C++ (public headers)
1m 46s
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
5 errors
|
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang)
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
|
|
x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, gcc-snapshot)
Process completed with exit code 1.
|
|
x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, yes, gcc-snapshot)
Process completed with exit code 1.
|
|
x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, yes, gcc-snapshot)
Process completed with exit code 1.
|
|
x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, yes, -DVERIFY, gcc-snapshot)
Process completed with exit code 1.
|