Skip to content
CI

f can never equal -m #544

Sign in to view logs

f can never equal -m

f can never equal -m #544

Run time

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