CI for EWD998 Trace Validation

Manifest: added proof runtimes #65

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request August 21, 2025 23:53

ahelwer

synchronize #187

ahelwer:proof-runtime

Status Success

Total duration 9m 4s

Artifacts –

ewd998.yml

on: pull_request