CI for EWD998 Trace Validation

CI: check all proofs, 10 minute hard timeout #28

Sign in to view logs

Triggered via push December 15, 2025 04:30

ahelwer

check-all-proofs

Status Success

Total duration 9m 2s

Artifacts –

ewd998.yml

on: push