Skip to content

doc: fix sage code for deriving alternative generator H #79

doc: fix sage code for deriving alternative generator H

doc: fix sage code for deriving alternative generator H #79

Triggered via pull request May 7, 2024 17:48
Status Success
Total duration 1h 45m 18s
Artifacts

ci.yml

on: pull_request
Build Docker image
19m 22s
Build Docker image
x64 (MSVC): C++ (public headers)
16s
x64 (MSVC): C++ (public headers)
SageMath prover
1m 16s
SageMath prover
release
3m 7s
release
Matrix: x86_64: macOS Monterey
Matrix: win64-native
s390x (big-endian): Linux (Debian stable, QEMU)
19m 26s
s390x (big-endian): Linux (Debian stable, QEMU)
ppc64le: Linux (Debian stable, QEMU)
13m 46s
ppc64le: Linux (Debian stable, QEMU)
C++ -fpermissive (entire project)
7m 42s
C++ -fpermissive (entire project)
C++ (public headers)
1m 47s
C++ (public headers)
Matrix: ARM32: Linux (Debian stable, QEMU)
Matrix: ARM64: Linux (Debian stable, QEMU)
Matrix: i686: Linux (Debian stable)
Matrix: x86_64: Linux (Debian stable)
Matrix: mingw_debian
Matrix: MSan
Matrix: UBSan, ASan, LSan
Matrix: Valgrind (memcheck)
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
x86_64: macOS Monterey (int128, yes)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128_struct, 2, 4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (distcheck)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, ...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.