Skip to content

fix(ci): unblock workflows and align verifier inputs#215

Merged
robik75 merged 5 commits intodevfrom
rr/dev-ci-fix
Feb 25, 2026
Merged

fix(ci): unblock workflows and align verifier inputs#215
robik75 merged 5 commits intodevfrom
rr/dev-ci-fix

Conversation

@robik75
Copy link
Member

@robik75 robik75 commented Feb 24, 2026

What ❔

  • CI/workflow maintenance: updated deny, typos, and GPU workflows; typo checks now run only on changed files.
  • CI stabilization: temporarily disabled unstable CLI-dependent jobs/tests (with TODOs to re-enable after follow-up).
  • Security/license policy: re-enabled cargo-deny (advisories, licenses, bans, sources), kept temporary advisory ignores for known unresolved unmaintained transitive crates, added missing workspace license metadata for tools/pow_config_generator, and allowed CDDL-1.0 for the current inferno transitive license.
  • Verifier/CLI alignment: propagated pow_challenge into metadata/oracle generation and switched CLI verification calls to full_statement_verifier::legacy_circuits::*.
  • Test hygiene: marked profiler test_types as ignored.

Why ❔

  • Keep CI green and actionable while targeted follow-up work lands.
  • Keep security/license checks enabled with explicit, reviewable policy exceptions.
  • Ensure prover/verifier input wiring is consistent.

Is this a breaking change?

  • Yes
  • No

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted.

Base automatically changed from rr/dev-cleanup to dev February 25, 2026 11:46
@robik75 robik75 merged commit 60da8cd into dev Feb 25, 2026
24 checks passed
@robik75 robik75 deleted the rr/dev-ci-fix branch February 25, 2026 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants