generator: massively speed up serialization #87

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

generator: massively speed up serialization #87

Usage

generator: massively speed up serialization #87

Jobs

Run details

Run time