Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #12578
Triggered via pull request
November 2, 2024 19:29
jafingerhut
Status
Success
Total duration
1h 15m 26s
Artifacts
1
Annotations
1 warning
|
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
p4lang~p4c~R6ARPF.dockerbuild
|
168 KB |
|