Skip to content
Rust

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

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 #559

Triggered via pull request November 28, 2024 11:31
@ole-thoebole-thoeb
opened #326
ole-thoeb:quantifier_const_ex
Status Failure
Total duration 20m 40s
Artifacts –

rust.yml

on: pull_request
check-formatting
5s
check-formatting
build_on_wasm
1m 0s
build_on_wasm
run_clippy
35s
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.