z3 4.13.0 #359676
Annotations
2 errors, 1 warning, and 4 notices
Run brew test-bot --only-formulae-dependents --junit --testing-formulae="c3c,klee,llvm,llvm@16,z3" --skip-recursive-dependents:
Formula/l/ldc.rb#L82
/opt/homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/bin/bundle clean
==> Testing ldc
==> /opt/homebrew/Cellar/ldc/1.37.0/bin/ldc2 test.d
==> ./test
==> /opt/homebrew/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d
ld: could not parse bitcode object file /private/tmp/ldc-test-20240308-29881-imn3nu/test.o: 'Unknown attribute kind (86) (Producer: 'LLVM17.0.6' Reader: 'LLVM APPLE_1_1500.1.0.2.5_0')', using libLTO version 'LLVM version 15.0.0' in '/private/tmp/ldc-test-20240308-29881-imn3nu/test.o'
clang: error: linker command failed with exit code 1 (use -v to see invocation)
Error: /usr/bin/clang failed with status: 1
==> Testing ldc (again)
==> /opt/homebrew/Cellar/ldc/1.37.0/bin/ldc2 test.d
==> ./test
==> /opt/homebrew/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d
ld: could not parse bitcode object file /private/tmp/ldc-test-20240308-30078-qtneuo/test.o: 'Unknown attribute kind (86) (Producer: 'LLVM17.0.6' Reader: 'LLVM APPLE_1_1500.1.0.2.5_0')', using libLTO version 'LLVM version 15.0.0' in '/private/tmp/ldc-test-20240308-30078-qtneuo/test.o'
clang: error: linker command failed with exit code 1 (use -v to see invocation)
Error: /usr/bin/clang failed with status: 1
Error: ldc: failed
An exception occurred within a child process:
BuildError: Failed executing: /opt/homebrew/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d
/opt/homebrew/Library/Homebrew/formula.rb:2840:in `block in system'
/opt/homebrew/Library/Homebrew/formula.rb:2776:in `open'
/opt/homebrew/Library/Homebrew/formula.rb:2776:in `system'
/opt/homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/gems/sorbet-runtime-0.5.11287/lib/types/private/methods/call_validation.rb:167:in `bind_call'
/opt/homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/gems/sorbet-runtime-0.5.11287/lib/types/private/methods/call_validation.rb:167:in `validate_call_skip_block_type'
/opt/homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/gems/sorbet-runtime-0.5.11287/lib/types/private/methods/call_validation.rb:109:in `block in create_validator_slow_skip_block_type'
/opt/homebrew/Library/Taps/homebrew/homebrew-core/Formula/l/ldc.rb:95:in `block in <class:Ldc>'
/opt/homebrew/Library/Homebrew/formula.rb:2599:in `block (3 levels) in run_test'
/opt/homebrew/Library/Homebrew/extend/kernel.rb:493:in `with_env'
/opt/homebrew/Library/Homebrew/formula.rb:2598:in `block (2 levels) in run_test'
/opt/homebrew/Library/Homebrew/formula.rb:1064:in `with_logging'
/opt/homebrew/Library/Homebrew/formula.rb:2597:in `block in run_test'
/opt/homebrew/Library/Homebrew/mktemp.rb:75:in `block in run'
/opt/homebrew/Library/Homebrew/mktemp.rb:75:in `chdir'
/opt/homebrew/Library/Homebrew/mktemp.rb:75:in `run'
/opt/homebrew/Library/Homebrew/formula.rb:2891:in `mktemp'
/opt/homebrew/Library/Homebrew/formula.rb:2591:in `run_test'
/opt/homebrew/Library/Homebrew/test.rb:46:in `block in <main>'
/opt/homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:107:in `block in timeout'
/opt/homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `block in catch'
/opt/homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch'
/opt/homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch'
/opt/homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:123:in `timeout'
/opt/homebrew/Library/Homebrew/test.rb:50:in `<main>'
|
Run brew test-bot --only-formulae-dependents --junit --testing-formulae="c3c,klee,llvm,llvm@16,z3" --skip-recursive-dependents
Process completed with exit code 1.
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/download-artifact@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/.
|
Steps summary and cleanup
35 bottle(s)
|
Steps summary and cleanup
0 failed bottle(s)
|
Steps summary and cleanup
7 list(s) of skipped formulae
|
Steps summary and cleanup
1 list(s) of successfully tested dependents
|
Loading