Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #2976
jafingerhutci-test-mac.yml
on: pull_request
test-mac-os-m1
20m 30s
test-mac-os
21m 36s
Annotations
3 warnings
|
test-mac-os-m1
Already linked: /opt/homebrew/Cellar/[email protected]/1.85.0_2
|
|
test-mac-os
Failed to restore: "/usr/local/bin/gtar" failed with error: The process '/usr/local/bin/gtar' failed with exit code 2
|
|
test-mac-os
Already linked: /usr/local/Cellar/[email protected]/1.85.0_2
|