Skip to content
Back to pull request #4997

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #9929

Sign in to view logs

Remove CMAKE_BUILD_TYPE values that do not work when building Z3

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #9929

Triggered via pull request November 2, 2024 19:29
@jafingerhutjafingerhut
opened #4997
jafingerhut:update-build-type-names-in-readme
Status Success
Total duration 3m 2s
Artifacts –

ci-bazel.yml

on: pull_request
build_direct
1m 36s
build_direct
build_indirect
1m 11s
build_indirect
Fit to window
Zoom out
Zoom in