Skip to content
CI

Avoid using out-of-bounds field elements (in impossible cases) #64

Sign in to view logs

Avoid using out-of-bounds field elements (in impossible cases)

Avoid using out-of-bounds field elements (in impossible cases) #64

Run time

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