feat(BV): Support binary distinct on arbitrary bit-widths · OCamlPro/alt-ergo@e27f312

Triggered via pull request August 28, 2024 09:15

opened #1222

Status Failure

Total duration 6h 2m 42s

Artifacts –

build.yml

on: pull_request

Matrix: build

9 errors and 2 warnings

Process completed with exit code 2.

Process completed with exit code 2.

Process completed with exit code 2.

Process completed with exit code 2.

Process completed with exit code 2.

The job running on runner GitHub Actions 3 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The job running on runner GitHub Actions 8 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The following actions uses node12 which is deprecated and will be forced to run on node16: getsentry/action-git-diff-suggestions@main. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

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