CVC4: Add patches to ease building on AArch64 · GaloisInc/what4-solvers@312dd34

Triggered via pull request November 12, 2024 12:27

opened #54

aarch64-patches

Status Failure

Total duration 18m 29s

Artifacts 4

ci.yml

on: pull_request

Matrix: build

Matrix: package_solvers

1 error and 6 warnings

Process completed with exit code 1.

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf

Produced during runtime