enforce-format

add support for IfAbruptCloseIterators when marking exit steps (#688) #572

Sign in to view logs

Triggered via push April 10, 2026 02:22

bakkot

main

Status Success

Total duration 16s

Artifacts –

enforce-format.yml

on: push

Enforce spec format