Repository navigation

Check code formatting

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

Sign in to view logs

Triggered via pull request April 16, 2026 09:57

opened #8

fix/codegen-spec-proof-ghost-filtering

Status Skipped

Total duration 1s

Artifacts –

pr-code-format.yml

on: pull_request