Rust

Fix lifetime on `Solver::get_assertions()` result. #439

Sign in to view logs

Triggered via push October 27, 2023 01:32

master

Status Success

Total duration 28m 30s

Artifacts –

rust.yml

on: push

check-formatting

Matrix: build

Matrix: build_with_vcpkg_installed_z3

Matrix: build_z3_statically