Skip to content
WebAssembly Build

Add support for building Z3 using Bazel. #3638

Sign in to view logs

Add support for building Z3 using Bazel.

Add support for building Z3 using Bazel. #3638

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

wasm.yml

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