Skip to content
Rust

Add high-level binding for quantifier creation with additional attributes #560

Sign in to view logs

Add high-level binding for quantifier creation with additional attributes

Add high-level binding for quantifier creation with additional attributes #560

Triggered via pull request November 28, 2024 12:07
@ole-thoebole-thoeb
synchronize #326
ole-thoeb:quantifier_const_ex
Status Failure
Total duration 18m 13s
Artifacts –

rust.yml

on: pull_request
check-formatting
5s
check-formatting
build_on_wasm
1m 0s
build_on_wasm
run_clippy
27s
run_clippy
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3
Fit to window
Zoom out
Zoom in

Annotations

2 errors
run_clippy
Process completed with exit code 101.
build_on_wasm
Process completed with exit code 101.