Skip to content
CI

FROST #97

Sign in to view logs

FROST

FROST #97

Run time

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