Skip to content
CI Checks

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

Sign in to view logs

codegen: skip IR emission for spec and proof functions

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

Triggered via pull request April 16, 2026 16:54
@SwayamInSyncSwayamInSync
synchronize #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
MacOS Premerge Checks
Matrix: premerge-checks-linux
Fit to window
Zoom out
Zoom in