Skip to content
CI

Mark API as "unavailable" if headers are missing #42

Sign in to view logs

Mark API as "unavailable" if headers are missing

Mark API as "unavailable" if headers are missing #42

Run time

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