Skip to content
CI for EWD998 Trace Validation

Fix proofs #40

Sign in to view logs

Fix proofs

Fix proofs #40

Triggered via pull request July 1, 2025 14:55
@muenchnerkindlmuenchnerkindl
synchronize #175
fixProofs
Status Success
Total duration 9m 11s
Artifacts –

ewd998.yml

on: pull_request
build
8m 56s
build
Fit to window
Zoom out
Zoom in