Skip to content

recursion: add R1CS dump/shrink tooling #7993

recursion: add R1CS dump/shrink tooling

recursion: add R1CS dump/shrink tooling #7993

This workflow is awaiting approval from a maintainer in #2526
Triggered via pull request January 20, 2026 05:27
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #2526

pr.yml

on: pull_request
Build patches and zkvm in host
Build patches and zkvm in host
Cargo Check
Cargo Check
Cargo Check (Nightly)
Cargo Check (Nightly)
Check Verifier `no_std`
Check Verifier `no_std`
Check lock files
Check lock files
Examples
Examples
Formatting & Clippy
Formatting & Clippy
Test (ARM)
Test (ARM)
Test (x86-64)
Test (x86-64)
Test Verifier Crate
Test Verifier Crate
Fit to window
Zoom out
Zoom in