CI

Prover: add constraints parameter #5880

Sign in to view logs

Triggered via pull request February 26, 2024 20:41

synchronize #1850

dw/msm-prover-take-single-expr-param

Status Success

Total duration 34m 28s

Artifacts –

rust.yml

on: pull_request

Matrix: Run some basic checks and tests