Skip to content
CMake

adding Z3 to build #430

Sign in to view logs

adding Z3 to build

adding Z3 to build #430

Triggered via push February 3, 2025 10:55
@castrodcastrod
pushed 2dabdf3
main
Status Success
Total duration 53m 59s
Artifacts –

release.yml

on: push
build
53m 48s
build
Fit to window
Zoom out
Zoom in