Skip to content
CI Checks

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

Sign in to view logs

codegen: skip IR emission for spec and proof functions

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

Triggered via pull request April 16, 2026 09:57
@SwayamInSyncSwayamInSync
opened #8
fix/codegen-spec-proof-ghost-filtering
Status Skipped
Total duration 1s
Artifacts –

premerge.yaml

on: pull_request
Build and Test Windows
Build and Test Windows
MacOS Premerge Checks
0s
MacOS Premerge Checks
Matrix: premerge-checks-linux
Fit to window
Zoom out
Zoom in