Update z3 to 4.13.4.0 #106
twizmwazinecosystem.yml
on: pull_request
ecosystem
/
Build
3m 33s
Matrix: ecosystem / Test
ecosystem
/
Lint
48s
ecosystem
/
Publish Unit Tests Results
0s
Annotations
4 errors and 2 warnings
|
ecosystem / Test (1)
Process completed with exit code 2.
|
|
ecosystem / Test (6)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
ecosystem / Test (6)
Process completed with exit code 143.
|
|
ecosystem / Test (4)
The hosted runner: GitHub Actions 51 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
ecosystem / Test (5)
Received request to deprovision: The request was cancelled by the remote provider.
|
|
ecosystem / Publish Unit Tests Results
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Test Results 0
|
8.83 KB |
|
|
Test Results 1
|
9.3 KB |
|
|
Test Results 2
|
8.93 KB |
|
|
Test Results 3
|
8.93 KB |
|
|
Test Results 7
|
8.71 KB |
|
|
Test Results 8
|
8.69 KB |
|
|
Test Results 9
|
8.88 KB |
|
|
build_archive
|
702 MB |
|