Repository navigation

Check code formatting

codegen: skip IR emission for spec and proof functions #20

Sign in to view logs

Triggered via pull request April 16, 2026 16:19

synchronize #8

fix/codegen-spec-proof-ghost-filtering

Status Skipped

Total duration 1s

Artifacts –

pr-code-format.yml

on: pull_request