Skip to content
Tests on Linux

Upgrade Bitwuzla to v0.1.0 #902

Sign in to view logs

Upgrade Bitwuzla to v0.1.0

Upgrade Bitwuzla to v0.1.0 #902

Triggered via pull request August 10, 2023 17:51
@cnheitmancnheitman
synchronize #1263
cnheitman:feature/upgrade-bitwuzla
Status Cancelled
Total duration 4m 34s
Artifacts –

linux.yml

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

Annotations

16 errors and 15 warnings
build (3.9, ON, 5.0-rc2)
The run was canceled by @cnheitman.
build (3.7, ON, 5.0-rc2)
The operation was canceled.
build (3.9, OFF, 5.0-rc2)
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.7, OFF, 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.10, OFF, 5.0-rc2)
The operation was canceled.
build (3.10, ON, 5.0-rc2)
The operation was canceled.
build (3.9, ON, 4.0.2)
The operation was canceled.
build (3.8, OFF, 5.0-rc2)
The operation was canceled.
build (3.10, ON, 4.0.2)
The operation was canceled.
build (3.10, OFF, 4.0.2)
The operation was canceled.
build (3.8, ON, 5.0-rc2)
The operation was canceled.
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, 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, 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.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.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.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.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.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.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/
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.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.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/