Skip to content
Tests on Linux

Upgrade Bitwuzla to v0.1.0 #906

Sign in to view logs

Upgrade Bitwuzla to v0.1.0

Upgrade Bitwuzla to v0.1.0 #906

Triggered via pull request August 11, 2023 18:33
@cnheitmancnheitman
synchronize #1263
cnheitman:feature/upgrade-bitwuzla
Status Cancelled
Total duration 1m 18s
Artifacts –

linux.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

16 errors and 16 warnings
build (3.8, ON, 5.0-rc2)
The operation was canceled.
build (3.10, ON, 4.0.2)
The operation was canceled.
build (3.7, ON, 5.0-rc2)
The operation was canceled.
build (3.9, ON, 5.0-rc2)
The operation was canceled.
build (3.10, ON, 5.0-rc2)
The operation was canceled.
build (3.10, OFF, 4.0.2)
The operation was canceled.
build (3.10, OFF, 5.0-rc2)
The operation was canceled.
build (3.9, OFF, 5.0-rc2)
The operation was canceled.
build (3.7, OFF, 4.0.2)
The operation was canceled.
build (3.9, ON, 4.0.2)
The operation was canceled.
build (3.7, OFF, 5.0-rc2)
The operation was canceled.
build (3.9, OFF, 4.0.2)
The operation was canceled.
build (3.7, ON, 4.0.2)
The operation was canceled.
build (3.8, OFF, 4.0.2)
The operation was canceled.
build (3.8, ON, 4.0.2)
The operation was canceled.
build (3.8, OFF, 5.0-rc2)
The operation was canceled.
build (3.8, ON, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.10, ON, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.7, ON, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.9, ON, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.10, ON, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.10, OFF, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.10, OFF, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.9, OFF, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.7, OFF, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.9, ON, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.7, OFF, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.9, OFF, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.7, ON, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.8, OFF, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.8, ON, 4.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.8, OFF, 5.0-rc2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/