doc: Improve cmake instructions in README #635

Triggered via pull request December 3, 2024 23:10

fjahr

synchronize #1641

fjahr:cmake-readme

Status Success

Total duration 8h 18m 18s

Artifacts –

ci.yml

on: pull_request

Build Docker image

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

Matrix: ARM64: macOS Sonoma

Matrix: win64-native

Matrix: x86_64: macOS Ventura, Valgrind

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

9m 59s

ppc64le: Linux (Debian stable, QEMU)

7m 13s

C++ -fpermissive (entire project)

4m 18s

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

87 warnings

Build Docker image

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

release

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

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

C++ (public headers)

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) (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

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

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 (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)

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

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

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

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

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

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

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

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

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

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

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) (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) (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) (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) (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-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

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) (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) (-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) (-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) (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: 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) (-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) (-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) (-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

x86_64: Linux (Debian stable) (distcheck, no, no, no, 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) (-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) (-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) (-O0, no, 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) (-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, 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) (distcheck, no, no, 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) (int128, 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, 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) (distcheck, no, no, no, 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, gcc)

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

x86_64: Linux (Debian stable) (distcheck, no, no, 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, 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_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, 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_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) (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, 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

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-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, 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, 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-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, 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) (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) (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)

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) (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

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

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

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) (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) (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) (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) (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

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) (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) (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) (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) (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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

doc: Improve cmake instructions in README #635

Summary

doc: Improve cmake instructions in README #635

Jobs

Run details

ci.yml

Annotations