static-build-test-p4c

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

Sign in to view logs

Triggered via pull request November 2, 2024 19:29

jafingerhut

opened #4997

jafingerhut:update-build-type-names-in-readme

Status Skipped

Total duration 4s

Artifacts –

ci-static-build-test.yml

on: pull_request

Matrix: build-linux