init z3 integration #172
ngmachadoci.yml
on: pull_request
Matrix: Test
Lint and Format
11m 17s
Security Scan
7s
Performance Benchmarks
0s
Matrix: Comprehensive Feature Tests
Annotations
1 error and 8 warnings
|
Test (ubuntu-latest, 0.15.1)
Process completed with exit code 1.
|
|
Lint and Format
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0PQv+aAAAAADFLJD9ltLZQpP2bEUJr2bRUEhMMzBFREdFMDQwNwBFZGdl
|
|
Lint and Format
Failed to restore: Cache service responded with 400
|
|
Test (macos-latest, 0.15.1)
cmake 4.1.2 is already installed and up-to-date.
To reinstall 4.1.2, run:
brew reinstall cmake
|
|
Test (macos-latest, 0.15.1)
openssl@3 3.6.0 is already installed and up-to-date.
To reinstall 3.6.0, run:
brew reinstall openssl@3
|
|
Test (macos-latest, 0.15.1)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0QQv+aAAAAADA9eDV49FJSp3ldb5h5GT8U04xRURHRTIyMjIARWRnZQ==
|
|
Test (macos-latest, 0.15.1)
Failed to restore: Cache service responded with 400
|
|
Test (ubuntu-latest, 0.15.1)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0Pgv+aAAAAAC1v8tQwJypSIgCatWp9tB/Q0hJMzBFREdFMDMxMgBFZGdl
|
|
Test (ubuntu-latest, 0.15.1)
Failed to restore: Cache service responded with 400
|