Skip to content
CI

doc: fix sage code for deriving alternative generator H #79

Sign in to view logs

doc: fix sage code for deriving alternative generator H

doc: fix sage code for deriving alternative generator H #79

Run time

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