test-p4c-ubuntu-20.04-sanitizers

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

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 2s

Artifacts –

ci-ubuntu-20-sanitizer-nightly.yml

on: pull_request

test-ubuntu20-clang-sanitizers