Skip to content
CI

fixes a few grammatical errors #499

Sign in to view logs

fixes a few grammatical errors

fixes a few grammatical errors #499

Run time

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