Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #1126
Triggered via pull request
November 2, 2024 19:29
jafingerhut
jafingerhut
opened
#4997
Status
Success
Total duration
3m 27s
Artifacts
–
deploy-docs.yml
on: pull_request_target
build-and-deploy
9s