This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Switch to z3-sys bundled feature for static linking #14

Sign in to view logs

Triggered via pull request October 27, 2023 17:02

opened #1247

bundled

Status Success

Total duration 11m 54s

Artifacts –

mirai_on_mirai.yml

on: pull_request

Matrix: build_with_vcpkg_installed_z3