Skip to content
CI

expose dleq_prove and dleq_verify #2

Sign in to view logs

expose dleq_prove and dleq_verify

expose dleq_prove and dleq_verify #2

Triggered via push July 22, 2024 21:48
@benmabenma
pushed ad4bd73
bitbox02-20240722
Status Success
Total duration 1h 29m 9s
Artifacts –

ci.yml

on: push
Build Docker image
14s
Build Docker image
x64 (MSVC): C++ (public headers)
26s
x64 (MSVC): C++ (public headers)
SageMath prover
1m 4s
SageMath prover
release
3m 7s
release
Matrix: x86_64: macOS Monterey
Matrix: win64-native
s390x (big-endian): Linux (Debian stable, QEMU)
19m 39s
s390x (big-endian): Linux (Debian stable, QEMU)
ppc64le: Linux (Debian stable, QEMU)
14m 56s
ppc64le: Linux (Debian stable, QEMU)
C++ -fpermissive (entire project)
7m 18s
C++ -fpermissive (entire project)
C++ (public headers)
1m 36s
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

30 warnings
x86_64: macOS Monterey (distcheck)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (distcheck)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (distcheck)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128_struct, 2, 4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128_struct, 2, 4)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128_struct, 2, 4)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, -DVER...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, -DVER...
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, -DVER...
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int64, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes)
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc, ...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc, ...
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, gcc, ...
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, valgr...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, valgr...
libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool
x86_64: macOS Monterey (int128, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, yes, valgr...
gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc