expose dleq_prove and dleq_verify #3

Sign in to view logs

Annotations

1 error and 3 warnings

Process completed with exit code 1.

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/

libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool

gcc 14.1.0_2 is already installed and up-to-date. To reinstall 14.1.0_2, run: brew reinstall gcc

This job failed