PR Check

Add prove command and fix empty constraint set in some chips #234

Sign in to view logs

Triggered via pull request September 11, 2025 12:36

leonardoalt

synchronize #83

prove-leo

Status Success

Total duration 9m 6s

Artifacts –

pr.yml

on: pull_request