test-p4c-debian

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 23m 57s

Artifacts –

ci-test-debian.yml

on: pull_request

test-ubuntu22-tofino

Matrix: test-ubuntu20