z3 4.13.0 #359676
Annotations
2 warnings and 5 notices
|
Post-build steps
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Post-build steps
5 bottle(s)
|
|
Post-build steps
0 failed bottle(s)
|
|
Post-build steps
1 list(s) of skipped formulae
|
|
Post-build steps
0 list(s) of successfully tested dependents
|
|
Run brew test-bot --only-formulae --junit --only-json-tab --skip-dependents --testing-formulae="c3c,klee,llvm,llvm@16,z3" --added-formulae="" --deleted-formulae="":
Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
|
Loading