Skip to content
CI

build: Replace hardcoded "auto" value with default one #395

Sign in to view logs

build: Replace hardcoded "auto" value with default one

build: Replace hardcoded "auto" value with default one #395

Run time

Learn about OS pricing on GitHub Actions
Job Run time
x64 (MSVC): C++ (public headers)
19s
x64 (MSVC): C++ (public headers)
26s
x64 (MSVC): Windows (VS 2022, shared)
5m 13s
x64 (MSVC): Windows (VS 2022, shared)
4m 31s
Build Docker image
14s
Build Docker image
13s
x86_64: macOS Monterey (int64, yes, yes, yes, yes)
3m 2s
x86_64: macOS Monterey (int64, yes, yes, yes, yes)
4m 35s
x64 (MSVC): Windows (VS 2022, static)
5m 55s
x64 (MSVC): Windows (VS 2022, static)
5m 15s
release
2m 58s
release
3m 3s
x86_64: macOS Monterey (int128_struct, 2, 4)
4m 5s
x86_64: macOS Monterey (int128_struct, 2, 4)
3m 58s
x64 (MSVC): Windows (VS 2022, int128_struct)
4m 43s
x64 (MSVC): Windows (VS 2022, int128_struct)
5m 17s
SageMath prover
1m 0s
SageMath prover
1m 2s
x86_64: macOS Monterey (int128, yes, yes, yes)
2m 33s
x86_64: macOS Monterey (int128, yes, yes, yes)
4m 54s
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)
5m 10s
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)
4m 57s
x86_64: macOS Monterey (int128, yes)
2m 45s
x86_64: macOS Monterey (int128, yes)
2m 40s
x86 (MSVC): Windows (VS 2022)
8m 4s
x86 (MSVC): Windows (VS 2022)
8m 4s
x86_64: macOS Monterey (int128, yes, yes, yes, yes)
2m 28s
x86_64: macOS Monterey (int128, yes, yes, yes, yes)
3m 49s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, gcc)
2m 28s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, gcc)
3m 37s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, valgrind --error-exitcode=42, 2)
2m 46s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, valgrind --error-exitcode=42, 2)
32m 36s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, gcc, valgrind --error-exitcode=42, 2)
2m 23s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, gcc, valgrind --error-exitcode=42, 2)
34m 36s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, -DVERIFY, no)
2m 31s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, -DVERIFY, no)
3m 25s
x86_64: macOS Monterey (distcheck)
2m 38s
x86_64: macOS Monterey (distcheck)
4m 39s
C++ (public headers)
1m 42s
C++ (public headers)
1m 30s
ARM64: Linux (Debian stable, QEMU)
7m 29s
ARM64: Linux (Debian stable, QEMU)
6m 37s
C++ -fpermissive (entire project)
4m 3s
C++ -fpermissive (entire project)
3m 41s
ARM32: Linux (Debian stable, QEMU)
11m 3s
ARM32: Linux (Debian stable, QEMU)
10m 37s
ARM64: Linux (Debian stable, QEMU) (clang --target=aarch64-linux-gnu)
6m 23s
ARM64: Linux (Debian stable, QEMU) (clang --target=aarch64-linux-gnu)
6m 3s
ARM64: Linux (Debian stable, QEMU) (clang-snapshot --target=aarch64-linux-gnu)
6m 28s
ARM64: Linux (Debian stable, QEMU) (clang-snapshot --target=aarch64-linux-gnu)
5m 57s
ARM32: Linux (Debian stable, QEMU) (yes, arm32)
10m 20s
ARM32: Linux (Debian stable, QEMU) (yes, arm32)
9m 26s
i686: Linux (Debian stable) (i686-linux-gnu-gcc)
7m 10s
i686: Linux (Debian stable) (i686-linux-gnu-gcc)
7m 18s
i686: Linux (Debian stable) (clang --target=i686-pc-linux-gnu -isystem /usr/i686-linux-gnu/include)
7m 54s
i686: Linux (Debian stable) (clang --target=i686-pc-linux-gnu -isystem /usr/i686-linux-gnu/include)
7m 13s
x86_64: Linux (Debian stable) (int64, yes, gcc)
4m 31s
x86_64: Linux (Debian stable) (int64, yes, gcc)
12m 1s
x86_64 (mingw32-w64): Windows (Debian stable, Wine)
4m 38s
x86_64 (mingw32-w64): Windows (Debian stable, Wine)
4m 12s
MSan (yes, -fsanitize=memory -fsanitize-recover=memory -g)
9m 24s
MSan (yes, -fsanitize=memory -fsanitize-recover=memory -g)
10m 11s
x86_64: Linux (Debian stable) (int64, yes, clang)
3m 28s
x86_64: Linux (Debian stable) (int64, yes, clang)
3m 10s
i686 (mingw32-w64): Windows (Debian stable, Wine)
7m 17s
i686 (mingw32-w64): Windows (Debian stable, Wine)
13m 17s
ppc64le: Linux (Debian stable, QEMU)
7m 8s
ppc64le: Linux (Debian stable, QEMU)
6m 10s
MSan (2, 2, yes, -fsanitize=memory -fsanitize-recover=memory -g -O3)
9m 38s
MSan (2, 2, yes, -fsanitize=memory -fsanitize-recover=memory -g -O3)
10m 12s
x86_64: Linux (Debian stable) (int64, yes, gcc-snapshot)
3m 37s
x86_64: Linux (Debian stable) (int64, yes, gcc-snapshot)
3m 40s
MSan (-fsanitize=memory -fsanitize-recover=memory -fsanitize-memory-param-retval -g, no)
10m 40s
MSan (-fsanitize=memory -fsanitize-recover=memory -fsanitize-memory-param-retval -g, no)
8m 36s
x86_64: Linux (Debian stable) (int64, yes, clang-snapshot)
3m 27s
x86_64: Linux (Debian stable) (int64, yes, clang-snapshot)
4m 4s
s390x (big-endian): Linux (Debian stable, QEMU)
7m 43s
s390x (big-endian): Linux (Debian stable, QEMU)
7m 36s
UBSan, ASan, LSan (clang, auto)
7m 2s
UBSan, ASan, LSan (clang, auto)
7m 5s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, gcc)
4m 51s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, gcc)
5m 20s
UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, auto)
11m 41s
UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, auto)
10m 29s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, clang)
8m 0s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, clang)
5m 11s
Valgrind (memcheck) (clang, auto)
7m 22s
Valgrind (memcheck) (clang, auto)
7m 7s
UBSan, ASan, LSan (clang, no, 2, 2)
7m 22s
UBSan, ASan, LSan (clang, no, 2, 2)
6m 33s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, gcc-snapshot)
5m 56s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, gcc-snapshot)
4m 28s
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, auto)
20m 33s
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, auto)
21m 9s
UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)
10m 49s
UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)
10m 56s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, clang-snapshot)
4m 39s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, clang-snapshot)
6m 37s
Valgrind (memcheck) (clang, no, 2, 2)
7m 15s
Valgrind (memcheck) (clang, no, 2, 2)
7m 18s
x86_64: Linux (Debian stable) (int128, gcc)
2m 53s
x86_64: Linux (Debian stable) (int128, gcc)
2m 49s
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)
24m 9s
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)
21m 28s
x86_64: Linux (Debian stable) (int128, clang)
3m 6s
x86_64: Linux (Debian stable) (int128, clang)
2m 47s
x86_64: Linux (Debian stable) (int128, gcc-snapshot)
4m 9s
x86_64: Linux (Debian stable) (int128, gcc-snapshot)
3m 57s
x86_64: Linux (Debian stable) (int128, clang-snapshot)
4m 20s
x86_64: Linux (Debian stable) (int128, clang-snapshot)
3m 24s
x86_64: Linux (Debian stable) (int128_struct, yes, gcc)
8m 39s
x86_64: Linux (Debian stable) (int128_struct, yes, gcc)
7m 48s
x86_64: Linux (Debian stable) (int128_struct, yes, clang)
5m 46s
x86_64: Linux (Debian stable) (int128_struct, yes, clang)
6m 20s
x86_64: Linux (Debian stable) (int128_struct, yes, gcc-snapshot)
7m 40s
x86_64: Linux (Debian stable) (int128_struct, yes, gcc-snapshot)
6m 12s
x86_64: Linux (Debian stable) (int128_struct, yes, clang-snapshot)
7m 22s
x86_64: Linux (Debian stable) (int128_struct, yes, clang-snapshot)
7m 29s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc)
7m 12s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc)
4m 16s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, clang)
4m 51s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, clang)
4m 41s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc-snapshot)
4m 13s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc-snapshot)
4m 19s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, clang-snapshot)
4m 4s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, clang-snapshot)
4m 1s
x86_64: Linux (Debian stable) (int128, yes, yes, gcc)
2m 56s
x86_64: Linux (Debian stable) (int128, yes, yes, gcc)
2m 38s
x86_64: Linux (Debian stable) (int128, yes, yes, clang)
4m 18s
x86_64: Linux (Debian stable) (int128, yes, yes, clang)
2m 46s
x86_64: Linux (Debian stable) (int128, yes, yes, gcc-snapshot)
3m 4s
x86_64: Linux (Debian stable) (int128, yes, yes, gcc-snapshot)
2m 39s
x86_64: Linux (Debian stable) (int128, yes, yes, clang-snapshot)
3m 2s
x86_64: Linux (Debian stable) (int128, yes, yes, clang-snapshot)
2m 40s
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc)
3m 59s
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc)
3m 47s
x86_64: Linux (Debian stable) (int128, x86_64, yes, clang)
4m 4s
x86_64: Linux (Debian stable) (int128, x86_64, yes, clang)
3m 38s
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc-snapshot)
4m 2s
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc-snapshot)
3m 45s
x86_64: Linux (Debian stable) (int128, x86_64, yes, clang-snapshot)
4m 45s
x86_64: Linux (Debian stable) (int128, x86_64, yes, clang-snapshot)
3m 53s
x86_64: Linux (Debian stable) (yes, yes, gcc)
3m 5s
x86_64: Linux (Debian stable) (yes, yes, gcc)
2m 54s
x86_64: Linux (Debian stable) (yes, yes, clang)
3m 11s
x86_64: Linux (Debian stable) (yes, yes, clang)
2m 51s
x86_64: Linux (Debian stable) (yes, yes, gcc-snapshot)
3m 55s
x86_64: Linux (Debian stable) (yes, yes, gcc-snapshot)
2m 46s
x86_64: Linux (Debian stable) (yes, yes, clang-snapshot)
4m 2s
x86_64: Linux (Debian stable) (yes, yes, clang-snapshot)
3m 52s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, gcc)
3m 9s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, gcc)
2m 48s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, clang)
3m 6s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, clang)
2m 36s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, gcc-snapshot)
3m 12s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, gcc-snapshot)
2m 49s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, clang-snapshot)
5m 46s
x86_64: Linux (Debian stable) (no, yes, yes, yes, -DVERIFY, clang-snapshot)
2m 36s
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc)
4m 5s
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc)
3m 47s
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang)
8m 36s
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang)
5m 4s
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc-snapshot)
4m 13s
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc-snapshot)
5m 31s
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang-snapshot)
5m 36s
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang-snapshot)
4m 17s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc)
2m 58s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc)
2m 39s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang)
3m 8s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang)
2m 44s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc-snapshot)
3m 40s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc-snapshot)
2m 41s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang-snapshot)
3m 2s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang-snapshot)
2m 42s
x86_64: Linux (Debian stable) (-O0, no, gcc)
8m 45s
x86_64: Linux (Debian stable) (-O0, no, gcc)
7m 25s
x86_64: Linux (Debian stable) (-O0, no, clang)
10m 2s
x86_64: Linux (Debian stable) (-O0, no, clang)
10m 53s
x86_64: Linux (Debian stable) (-O0, no, gcc-snapshot)
7m 15s
x86_64: Linux (Debian stable) (-O0, no, gcc-snapshot)
7m 5s
x86_64: Linux (Debian stable) (-O0, no, clang-snapshot)
9m 36s
x86_64: Linux (Debian stable) (-O0, no, clang-snapshot)
9m 55s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc)
4m 4s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc)
3m 53s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, clang)
7m 33s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, clang)
3m 56s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc-snapshot)
4m 15s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc-snapshot)
3m 48s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, clang-snapshot)
4m 15s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, clang-snapshot)
3m 54s
x86_64: Linux (Debian stable) (2, 2, gcc)
3m 2s
x86_64: Linux (Debian stable) (2, 2, gcc)
3m 23s
x86_64: Linux (Debian stable) (2, 2, clang)
3m 8s
x86_64: Linux (Debian stable) (2, 2, clang)
2m 42s
x86_64: Linux (Debian stable) (2, 2, gcc-snapshot)
3m 5s
x86_64: Linux (Debian stable) (2, 2, gcc-snapshot)
3m 32s
x86_64: Linux (Debian stable) (2, 2, clang-snapshot)
3m 10s
x86_64: Linux (Debian stable) (2, 2, clang-snapshot)
2m 56s
x86_64: Linux (Debian stable) (86, 4, gcc)
3m 47s
x86_64: Linux (Debian stable) (86, 4, gcc)
2m 39s
x86_64: Linux (Debian stable) (86, 4, clang)
3m 2s
x86_64: Linux (Debian stable) (86, 4, clang)
3m 25s
x86_64: Linux (Debian stable) (86, 4, gcc-snapshot)
3m 1s
x86_64: Linux (Debian stable) (86, 4, gcc-snapshot)
2m 35s
x86_64: Linux (Debian stable) (86, 4, clang-snapshot)
3m 0s
x86_64: Linux (Debian stable) (86, 4, clang-snapshot)
16m 32s
19h 26m 54s