Skip to content

Add support for building Z3 using Bazel. #4045

Add support for building Z3 using Bazel.

Add support for building Z3 using Bazel. #4045

This workflow is awaiting approval from a maintainer in #7577
Triggered via pull request March 8, 2025 09:32
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #7577

msvc-static-build.yml

on: pull_request
build
build
Fit to window
Zoom out
Zoom in