Skip to content
p4c-lint

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 (#4997) #6552

Sign in to view logs

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 (#4997)

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 (#4997) #6552

Triggered via push November 2, 2024 22:02
@github-merge-queuegithub-merge-queue[bot]
pushed 0b7b485
main
Status Success
Total duration 3m 48s
Artifacts –

ci-lint.yaml

on: push
p4c-lint
3m 40s
p4c-lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
p4c-lint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.