Skip to content
CI

ci: Move remained task from Cirrus to GitHub Actions #79

Sign in to view logs

ci: Move remained task from Cirrus to GitHub Actions

ci: Move remained task from Cirrus to GitHub Actions #79

Run time

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