Skip to content
CI

generator: massively speed up serialization #1

Sign in to view logs

generator: massively speed up serialization

generator: massively speed up serialization #1

Run time

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