Skip to content
CI

FROST #98

Sign in to view logs

FROST

FROST #98

Run time

Learn about OS pricing on GitHub Actions
Job Run time
release
3m 13s
Build Docker image
9s
SageMath prover
1m 12s
x86_64: macOS Monterey (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
2m 9s
x86_64: macOS Monterey (int128_struct, 2, 4)
3m 32s
x64 (MSVC): Windows (VS 2022, shared)
5m 57s
x64 (MSVC): C++ (public headers)
15s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
2m 33s
x86_64: macOS Monterey (int128, yes)
2m 39s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
1m 39s
x64 (MSVC): Windows (VS 2022, static)
5m 56s
x64 (MSVC): Windows (VS 2022, int128_struct)
5m 58s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
1m 59s
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)
5m 57s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
3m 51s
x86 (MSVC): Windows (VS 2022)
5m 58s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
2m 36s
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
2m 18s
x86_64: macOS Monterey (distcheck)
5m 5s
ARM32: Linux (Debian stable, QEMU)
5m 55s
C++ (public headers)
1m 18s
ARM32: Linux (Debian stable, QEMU) (yes, arm32)
5m 53s
ARM64: Linux (Debian stable, QEMU)
5m 53s
C++ -fpermissive (entire project)
5m 53s
ARM64: Linux (Debian stable, QEMU) (clang --target=aarch64-linux-gnu)
5m 54s
i686: Linux (Debian stable) (i686-linux-gnu-gcc)
1m 52s
ARM64: Linux (Debian stable, QEMU) (clang-snapshot --target=aarch64-linux-gnu)
5m 56s
i686: Linux (Debian stable) (clang --target=i686-pc-linux-gnu -isystem /usr/i686-linux-gnu/include)
2m 28s
x86_64 (mingw32-w64): Windows (Debian stable, Wine)
1s
i686 (mingw32-w64): Windows (Debian stable, Wine)
1s
x86_64: Linux (Debian stable) (int64, yes, gcc)
1s
s390x (big-endian): Linux (Debian stable, QEMU)
1s
x86_64: Linux (Debian stable) (int64, yes, clang)
1s
MSan (-fsanitize=memory -fsanitize-recover=memory -g)
1s
ppc64le: Linux (Debian stable, QEMU)
1s
MSan (2, 2, -fsanitize=memory -fsanitize-recover=memory -g -O3)
1s
x86_64: Linux (Debian stable) (int64, yes, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (int64, yes, clang-snapshot)
1s
UBSan, ASan, LSan (clang, auto)
1s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes,...
1s
Valgrind (memcheck) (clang, auto)
1s
UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, auto)
1s
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, auto)
1s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes,...
1s
UBSan, ASan, LSan (clang, no, 2, 2)
1s
Valgrind (memcheck) (clang, no, 2, 2)
1s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes,...
1s
UBSan, ASan, LSan (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)
1s
x86_64: Linux (Debian stable) (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes,...
1s
Valgrind (memcheck) (i686-linux-gnu-gcc, i686-linux-gnu, no, 2, 2)
1s
x86_64: Linux (Debian stable) (int128, gcc)
1s
x86_64: Linux (Debian stable) (int128, clang)
1s
x86_64: Linux (Debian stable) (int128, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (int128, clang-snapshot)
1s
x86_64: Linux (Debian stable) (int128_struct, yes, gcc)
1s
x86_64: Linux (Debian stable) (int128_struct, yes, clang)
1s
x86_64: Linux (Debian stable) (int128_struct, yes, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (int128_struct, yes, clang-snapshot)
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc)
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, clang)
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, clang-snapshot)
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes...
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes...
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes...
1s
x86_64: Linux (Debian stable) (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes...
1s
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc)
1s
x86_64: Linux (Debian stable) (int128, x86_64, yes, clang)
1s
x86_64: Linux (Debian stable) (int128, x86_64, yes, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (int128, x86_64, yes, clang-snapshot)
1s
x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc)
1s
x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, clang)
1s
x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc-sn...
1s
x86_64: Linux (Debian stable) (yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, clang-...
1s
x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ye...
1s
x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ye...
1s
x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ye...
1s
x86_64: Linux (Debian stable) (no, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ye...
1s
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc)
1s
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang)
1s
x86_64: Linux (Debian stable) (distcheck, no, no, no, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (distcheck, no, no, no, clang-snapshot)
1s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc)
1s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang)
1s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (-DDETERMINISTIC, clang-snapshot)
1s
x86_64: Linux (Debian stable) (-O0, no, gcc)
1s
x86_64: Linux (Debian stable) (-O0, no, clang)
1s
x86_64: Linux (Debian stable) (-O0, no, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (-O0, no, clang-snapshot)
1s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc)
1s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, clang)
1s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (-O1, yes, yes, yes, yes, clang-snapshot)
1s
x86_64: Linux (Debian stable) (2, 2, gcc)
2m 45s
x86_64: Linux (Debian stable) (2, 2, clang)
2m 47s
x86_64: Linux (Debian stable) (2, 2, gcc-snapshot)
2m 19s
x86_64: Linux (Debian stable) (2, 2, clang-snapshot)
2m 39s
x86_64: Linux (Debian stable) (8, 4, gcc)
1s
x86_64: Linux (Debian stable) (8, 4, clang)
1s
x86_64: Linux (Debian stable) (8, 4, gcc-snapshot)
1s
x86_64: Linux (Debian stable) (8, 4, clang-snapshot)
1m 36s
1h 57m 13s