Skip to content
CI

expose dleq_prove and dleq_verify #4

Sign in to view logs

expose dleq_prove and dleq_verify

expose dleq_prove and dleq_verify #4

Triggered via push July 23, 2024 10:49
@benmabenma
pushed a361bdc
bitbox02-20240722
Status Success
Total duration 1h 50m 12s
Artifacts –

ci.yml

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