Skip to content
CI Checks

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

Sign in to view logs

codegen: skip IR emission for spec and proof functions

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

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

premerge.yaml

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