Skip to content
OCaml Binding CI (Ubuntu + macOS)

Bazel: expose z3_static target for working macOS, win32 builds #137

Sign in to view logs

Bazel: expose z3_static target for working macOS, win32 builds

Bazel: expose z3_static target for working macOS, win32 builds #137

This workflow is awaiting approval from a maintainer in #7660
Triggered via pull request May 26, 2025 03:13
@tsnltsnl
synchronize #7660
tsnl:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #7660

ocaml-all.yaml

on: pull_request
Matrix: build-test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in