CI for EWD998 Trace Validation

Manifest: added proof runtimes #23

Sign in to view logs

Triggered via push August 21, 2025 23:53

ahelwer

proof-runtime

Status Success

Total duration 14m 11s

Artifacts –

ewd998.yml

on: push