ci: Run clippy on macOS against brew z3. #422

Sign in to view logs

Triggered via push October 23, 2023 06:01

Status Success

Total duration 54m 5s

Artifacts –

rust.yml

on: push

check-formatting

Matrix: build_with_vcpkg_installed_z3

Matrix: build_z3_statically