Skip to content

feat: Testing via RISCOF #801

feat: Testing via RISCOF

feat: Testing via RISCOF #801

This workflow is awaiting approval from a maintainer in #175
Triggered via pull request January 19, 2026 18:44
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #175

ci.yml

on: pull_request
build_cli_with_verify
build_cli_with_verify
build_verifier
build_verifier
build_cli_no_verifiers_512
build_cli_no_verifiers_512
ISA tests for simulator
ISA tests for simulator
build_cli_no_verifiers
build_cli_no_verifiers
cargo fmt
cargo fmt
circuits_generated
circuits_generated
full_recursion_fast
full_recursion_fast
risc_v_tests_delegations
risc_v_tests_delegations
tests
tests
basic_example
basic_example
delegation_example
delegation_example
large_example
large_example
verification_example
verification_example
full_recursion
full_recursion
oh_bender_incremental_proofs
oh_bender_incremental_proofs
Fit to window
Zoom out
Zoom in