Adjust lifetimes on ModelIter to make them more permissive
#557
Triggered via pull request
November 26, 2024 03:00
sgpthomas
Status
Failure
Total duration
19m 32s
Artifacts
–
rust.yml
on: pull_request
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3
Annotations
1 error
|
build_on_wasm
Process completed with exit code 101.
|