init z3 integration #174
ngmachadoci.yml
on: pull_request
Matrix: Test
Lint and Format
11m 44s
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>0vFH/aAAAAAAKBs76Rg3dRpqywGLvX2jLRE0yRURHRTEwMTAARWRnZQ==
|
|
Lint and Format
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>0ulH/aAAAAADrld67TEsWT7Xqh8jzs4DyUEhMMzBFREdFMDExNABFZGdl
|
|
Test (ubuntu-latest, 0.15.1)
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>0xlH/aAAAAADp9IYfEiEaQJgFwALXyu4/U04xRURHRTIzMTMARWRnZQ==
|
|
Test (macos-latest, 0.15.1)
Failed to restore: Cache service responded with 400
|