test-p4c-fedora

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

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 Success

Total duration 28m 58s

Artifacts –

ci-test-fedora.yml

on: pull_request

test-fedora-linux