Skip to content

z3 4.13.0

z3 4.13.0 #359676

Triggered via pull request March 7, 2024 23:15
Status Failure
Total duration 1d 1h 13m 4s
Artifacts 15

tests.yml

on: pull_request
setup_tests
5s
setup_tests
setup_runners
44s
setup_runners
setup_dep_tests
5s
setup_dep_tests
Matrix: tests
setup_dep_runners
2m 30s
setup_dep_runners
conclusion
0s
conclusion
Matrix: test_deps
Fit to window
Zoom out
Zoom in

Annotations

14 errors, 20 warnings, and 64 notices
`brew test --retry --verbose ldc` failed on macOS Monterey (12) on Apple Silicon!: 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 object file test.o: 'Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM17.0.6' Reader: 'LLVM APPLE_1_1400.0.29.202_0')', using libLTO version 'LLVM version 14.0.0, (clang-1400.0.29.202)' file 'test.o' for architecture arm64 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 object file test.o: 'Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM17.0.6' Reader: 'LLVM APPLE_1_1400.0.29.202_0')', using libLTO version 'LLVM version 14.0.0, (clang-1400.0.29.202)' file 'test.o' for architecture arm64 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>'
macOS 12-arm64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose ldc` failed on macOS Ventura (13) on Apple Silicon!: 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-26970-eq3jup/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-26970-eq3jup/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-27167-le730w/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-27167-le730w/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>'
macOS 13-arm64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose ldc` failed on macOS Sonoma (14) on Apple Silicon!: 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>'
macOS 14-arm64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose ldc` failed on macOS Sonoma (14)!: Formula/l/ldc.rb#L82
/usr/local/Homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/bin/bundle clean ==> Testing ldc ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d ld: could not parse bitcode object file /private/tmp/ldc-test-20240309-30262-p5r63r/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-20240309-30262-p5r63r/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) ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d ld: could not parse bitcode object file /private/tmp/ldc-test-20240309-30459-hh9j2z/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-20240309-30459-hh9j2z/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: /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d /usr/local/Homebrew/Library/Homebrew/formula.rb:2840:in `block in system' /usr/local/Homebrew/Library/Homebrew/formula.rb:2776:in `open' /usr/local/Homebrew/Library/Homebrew/formula.rb:2776:in `system' /usr/local/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' /usr/local/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' /usr/local/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' /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/l/ldc.rb:95:in `block in <class:Ldc>' /usr/local/Homebrew/Library/Homebrew/formula.rb:2599:in `block (3 levels) in run_test' /usr/local/Homebrew/Library/Homebrew/extend/kernel.rb:493:in `with_env' /usr/local/Homebrew/Library/Homebrew/formula.rb:2598:in `block (2 levels) in run_test' /usr/local/Homebrew/Library/Homebrew/formula.rb:1064:in `with_logging' /usr/local/Homebrew/Library/Homebrew/formula.rb:2597:in `block in run_test' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `block in run' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `chdir' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `run' /usr/local/Homebrew/Library/Homebrew/formula.rb:2891:in `mktemp' /usr/local/Homebrew/Library/Homebrew/formula.rb:2591:in `run_test' /usr/local/Homebrew/Library/Homebrew/test.rb:46:in `block in <main>' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:107:in `block in timeout' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `block in catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:123:in `timeout' /usr/local/Homebrew/Library/Homebrew/test.rb:50:in `<main>'
macOS 14-x86_64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose ldc` failed on macOS Monterey (12)!: Formula/l/ldc.rb#L82
/usr/local/Homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/bin/bundle clean ==> Testing ldc ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d ld: could not parse object file test.o: 'Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM17.0.6' Reader: 'LLVM APPLE_1_1400.0.29.202_0')', using libLTO version 'LLVM version 14.0.0, (clang-1400.0.29.202)' file 'test.o' for architecture x86_64 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) ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d ld: could not parse object file test.o: 'Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM17.0.6' Reader: 'LLVM APPLE_1_1400.0.29.202_0')', using libLTO version 'LLVM version 14.0.0, (clang-1400.0.29.202)' file 'test.o' for architecture x86_64 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: /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d /usr/local/Homebrew/Library/Homebrew/formula.rb:2840:in `block in system' /usr/local/Homebrew/Library/Homebrew/formula.rb:2776:in `open' /usr/local/Homebrew/Library/Homebrew/formula.rb:2776:in `system' /usr/local/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' /usr/local/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' /usr/local/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' /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/l/ldc.rb:95:in `block in <class:Ldc>' /usr/local/Homebrew/Library/Homebrew/formula.rb:2599:in `block (3 levels) in run_test' /usr/local/Homebrew/Library/Homebrew/extend/kernel.rb:493:in `with_env' /usr/local/Homebrew/Library/Homebrew/formula.rb:2598:in `block (2 levels) in run_test' /usr/local/Homebrew/Library/Homebrew/formula.rb:1064:in `with_logging' /usr/local/Homebrew/Library/Homebrew/formula.rb:2597:in `block in run_test' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `block in run' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `chdir' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `run' /usr/local/Homebrew/Library/Homebrew/formula.rb:2891:in `mktemp' /usr/local/Homebrew/Library/Homebrew/formula.rb:2591:in `run_test' /usr/local/Homebrew/Library/Homebrew/test.rb:46:in `block in <main>' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:107:in `block in timeout' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `block in catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:123:in `timeout' /usr/local/Homebrew/Library/Homebrew/test.rb:50:in `<main>'
macOS 12-x86_64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose ldc` failed on macOS Ventura (13)!: Formula/l/ldc.rb#L82
/usr/local/Homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/bin/bundle clean ==> Testing ldc ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d ld: could not parse bitcode object file /private/tmp/ldc-test-20240308-26987-wffjq1/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-26987-wffjq1/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) ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d ld: could not parse bitcode object file /private/tmp/ldc-test-20240308-27183-8ca7kh/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-27183-8ca7kh/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: /usr/local/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d /usr/local/Homebrew/Library/Homebrew/formula.rb:2840:in `block in system' /usr/local/Homebrew/Library/Homebrew/formula.rb:2776:in `open' /usr/local/Homebrew/Library/Homebrew/formula.rb:2776:in `system' /usr/local/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' /usr/local/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' /usr/local/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' /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/l/ldc.rb:95:in `block in <class:Ldc>' /usr/local/Homebrew/Library/Homebrew/formula.rb:2599:in `block (3 levels) in run_test' /usr/local/Homebrew/Library/Homebrew/extend/kernel.rb:493:in `with_env' /usr/local/Homebrew/Library/Homebrew/formula.rb:2598:in `block (2 levels) in run_test' /usr/local/Homebrew/Library/Homebrew/formula.rb:1064:in `with_logging' /usr/local/Homebrew/Library/Homebrew/formula.rb:2597:in `block in run_test' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `block in run' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `chdir' /usr/local/Homebrew/Library/Homebrew/mktemp.rb:75:in `run' /usr/local/Homebrew/Library/Homebrew/formula.rb:2891:in `mktemp' /usr/local/Homebrew/Library/Homebrew/formula.rb:2591:in `run_test' /usr/local/Homebrew/Library/Homebrew/test.rb:46:in `block in <main>' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:107:in `block in timeout' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `block in catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:123:in `timeout' /usr/local/Homebrew/Library/Homebrew/test.rb:50:in `<main>'
macOS 13-x86_64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose ldc` failed on Linux!: Formula/l/ldc.rb#L82
/home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/bundle/ruby/3.1.0/bin/bundle clean ==> Testing ldc ==> /home/linuxbrew/.linuxbrew/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /home/linuxbrew/.linuxbrew/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d Error: The LLVMgold.so plugin (needed for LTO) was not found. You can specify its path with -flto-binary=<file>. ==> Testing ldc (again) ==> /home/linuxbrew/.linuxbrew/Cellar/ldc/1.37.0/bin/ldc2 test.d ==> ./test ==> /home/linuxbrew/.linuxbrew/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d Error: The LLVMgold.so plugin (needed for LTO) was not found. You can specify its path with -flto-binary=<file>. Error: ldc: failed An exception occurred within a child process: BuildError: Failed executing: /home/linuxbrew/.linuxbrew/Cellar/ldc/1.37.0/bin/ldc2 -flto=thin test.d /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2840:in `block in system' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2776:in `open' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2776:in `system' /home/linuxbrew/.linuxbrew/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' /home/linuxbrew/.linuxbrew/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' /home/linuxbrew/.linuxbrew/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' /home/linuxbrew/.linuxbrew/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/l/ldc.rb:95:in `block in <class:Ldc>' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2599:in `block (3 levels) in run_test' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/extend/kernel.rb:493:in `with_env' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2598:in `block (2 levels) in run_test' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:1064:in `with_logging' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2597:in `block in run_test' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/mktemp.rb:75:in `block in run' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/mktemp.rb:75:in `chdir' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/mktemp.rb:75:in `run' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2891:in `mktemp' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/formula.rb:2591:in `run_test' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/test.rb:46:in `block in <main>' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:107:in `block in timeout' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `block in catch' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:36:in `catch' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/lib/ruby/3.1.0/timeout.rb:123:in `timeout' /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/test.rb:50:in `<main>'
Linux (deps)
Process completed with exit code 1.
Linux
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/.
macOS 12-arm64
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
macOS 12-arm64
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/.
macOS 14-arm64
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
macOS 14-arm64
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/.
macOS 13-arm64
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
macOS 13-arm64
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/.
macOS 14-x86_64
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
macOS 14-x86_64
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/.
macOS 13-x86_64
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
macOS 13-x86_64
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/.
macOS 12-x86_64
There are over 10,000 files in this artifact, consider creating an archive before upload to improve the upload performance.
macOS 12-x86_64
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/.
macOS 12-arm64 (deps)
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/.
macOS 13-arm64 (deps)
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/.
macOS 14-arm64 (deps)
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/.
macOS 14-x86_64 (deps)
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/.
macOS 12-x86_64 (deps)
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/.
macOS 13-x86_64 (deps)
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/.
Linux (deps)
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/.
Linux
5 bottle(s)
Linux
0 failed bottle(s)
Linux
1 list(s) of skipped formulae
Linux
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
macOS 12-arm64
5 bottle(s)
macOS 12-arm64
0 failed bottle(s)
macOS 12-arm64
1 list(s) of skipped formulae
macOS 12-arm64
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
macOS 14-arm64
5 bottle(s)
macOS 14-arm64
0 failed bottle(s)
macOS 14-arm64
1 list(s) of skipped formulae
macOS 14-arm64
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
macOS 13-arm64
5 bottle(s)
macOS 13-arm64
0 failed bottle(s)
macOS 13-arm64
1 list(s) of skipped formulae
macOS 13-arm64
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
macOS 14-x86_64
5 bottle(s)
macOS 14-x86_64
0 failed bottle(s)
macOS 14-x86_64
1 list(s) of skipped formulae
macOS 14-x86_64
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
macOS 13-x86_64
5 bottle(s)
macOS 13-x86_64
0 failed bottle(s)
macOS 13-x86_64
1 list(s) of skipped formulae
macOS 13-x86_64
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
macOS 12-x86_64
5 bottle(s)
macOS 12-x86_64
0 failed bottle(s)
macOS 12-x86_64
1 list(s) of skipped formulae
macOS 12-x86_64
0 list(s) of successfully tested dependents
Installed previously built bottle for z3 from: Formula/z/z3.rb#L1
:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
conclusion
`tests` job status: success
macOS 12-arm64 (deps)
35 bottle(s)
macOS 12-arm64 (deps)
0 failed bottle(s)
macOS 12-arm64 (deps)
7 list(s) of skipped formulae
macOS 12-arm64 (deps)
1 list(s) of successfully tested dependents
macOS 13-arm64 (deps)
35 bottle(s)
macOS 13-arm64 (deps)
0 failed bottle(s)
macOS 13-arm64 (deps)
7 list(s) of skipped formulae
macOS 13-arm64 (deps)
1 list(s) of successfully tested dependents
macOS 14-arm64 (deps)
35 bottle(s)
macOS 14-arm64 (deps)
0 failed bottle(s)
macOS 14-arm64 (deps)
7 list(s) of skipped formulae
macOS 14-arm64 (deps)
1 list(s) of successfully tested dependents
macOS 14-x86_64 (deps)
35 bottle(s)
macOS 14-x86_64 (deps)
0 failed bottle(s)
macOS 14-x86_64 (deps)
7 list(s) of skipped formulae
macOS 14-x86_64 (deps)
1 list(s) of successfully tested dependents
macOS 12-x86_64 (deps)
35 bottle(s)
macOS 12-x86_64 (deps)
0 failed bottle(s)
macOS 12-x86_64 (deps)
7 list(s) of skipped formulae
macOS 12-x86_64 (deps)
1 list(s) of successfully tested dependents
macOS 13-x86_64 (deps)
35 bottle(s)
macOS 13-x86_64 (deps)
0 failed bottle(s)
macOS 13-x86_64 (deps)
7 list(s) of skipped formulae
macOS 13-x86_64 (deps)
1 list(s) of successfully tested dependents
Linux (deps)
35 bottle(s)
Linux (deps)
0 failed bottle(s)
Linux (deps)
7 list(s) of skipped formulae
Linux (deps)
1 list(s) of successfully tested dependents

Artifacts

Produced during runtime
Name Size
bottles Expired
6.6 GB
dependents Expired
2.06 KB
logs-12-8196109450 Expired
76.2 MB
logs-12-8196109450-deps Expired
54.7 KB
logs-12-arm64-8196109450 Expired
76.8 MB
logs-12-arm64-8196109450-deps Expired
55.5 KB
logs-13-8196109450 Expired
76.9 MB
logs-13-8196109450-deps Expired
58 KB
logs-13-arm64-8196109450 Expired
77.5 MB
logs-13-arm64-8196109450-deps Expired
58.7 KB
logs-14-8196109450 Expired
76.9 MB
logs-14-8196109450-deps Expired
58.3 KB
logs-14-arm64-8196109450 Expired
77.5 MB
logs-14-arm64-8196109450-deps Expired
59 KB
logs-linux-self-hosted-1 Expired
80.3 MB