Back to pull request #248

Use system-shipped z3 libraries by pkg_config #394

Sign in to view logs

Triggered via pull request September 10, 2023 14:16

wtdcode

opened #248

wtdcode:system-z3

Status Success

Total duration 44m 35s

Artifacts –

rust.yml

on: pull_request

check-formatting

Matrix: build

Matrix: build_z3_statically