check

Add --max-clause-depth option (#656) #1045

Sign in to view logs

Triggered via push September 16, 2025 18:26

bakkot

main

Status Success

Total duration 1m 22s

Artifacts –

check.yml

on: push