Don't check if BVS has .annotations in z3 backend (#524) #846
twizmwazinci.yml
on: push
ci
/
Build
3m 47s
windows
/
Test Windows
44s
macos
/
Test macOS
24s
Matrix: ci / Test
ci
/
Lint
1m 15s
ci
/
Publish Unit Tests Results
0s
Annotations
2 warnings
|
macos / Test macOS
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
windows / Test Windows
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Test Results 0
|
8.36 KB |
|
|
Test Results 1
|
8.69 KB |
|
|
Test Results 2
|
8.85 KB |
|
|
Test Results 3
|
8.49 KB |
|
|
Test Results 4
|
8.57 KB |
|
|
Test Results 5
|
8.12 KB |
|
|
Test Results 6
|
8.16 KB |
|
|
Test Results 7
|
8.61 KB |
|
|
Test Results 8
|
8.63 KB |
|
|
Test Results 9
|
8.59 KB |
|
|
build_archive
|
686 MB |
|