Skip to content
Build Doxygen and deploy to GitHub Pages

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

Sign in to view logs

Remove CMAKE_BUILD_TYPE values that do not work when building Z3

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

Triggered via pull request November 2, 2024 20:19
@fruffyfruffy
labeled #4997
Status Success
Total duration 3m 15s
Artifacts –

deploy-docs.yml

on: pull_request_target
build-and-deploy
3m 8s
build-and-deploy
Fit to window
Zoom out
Zoom in