Update z3 to 4.14.0.0 #144
twizmwazinecosystem.yml
on: pull_request
ecosystem
/
Build
3m 24s
Matrix: ecosystem / Test
ecosystem
/
Publish Unit Tests Results
0s
Annotations
7 errors and 4 warnings
|
ecosystem / Test (6)
The hosted runner encountered an error while running your job. (Error Type: Disconnect).
|
|
ecosystem / Test (2)
The hosted runner: GitHub Actions 58 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 (1)
The hosted runner: GitHub Actions 21 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 (0)
The job running on runner GitHub Actions 32 has exceeded the maximum execution time of 360 minutes.
|
|
ecosystem / Test (0)
The operation was canceled.
|
|
ecosystem / Test (7)
The job running on runner GitHub Actions 17 has exceeded the maximum execution time of 360 minutes.
|
|
ecosystem / Test (7)
The operation was canceled.
|
|
ecosystem / Test (3)
Received request to deprovision: The request was cancelled by the remote provider.
|
|
ecosystem / Test (5)
Received request to deprovision: The request was cancelled by the remote provider.
|
|
ecosystem / Test (6)
Received request to deprovision: The request was cancelled by the remote provider.
|
|
ecosystem / Test (7)
No files were found with the provided path: build/results/*.tests.xml. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Test Results 0
|
3.23 KB |
|
|
Test Results 4
|
9.04 KB |
|
|
Test Results 8
|
8.98 KB |
|
|
Test Results 9
|
8.93 KB |
|
|
build_archive
|
701 MB |
|