Skip to content
Back to pull request #1438

correct assertion for secp256k1_fe_mul_inner #192

Sign in to view logs

correct assertion for secp256k1_fe_mul_inner

correct assertion for secp256k1_fe_mul_inner #192

Run time

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