Skip to content
conformance

Reference formal specification that includes Full-Short Leios #78

Sign in to view logs

Reference formal specification that includes Full-Short Leios

Reference formal specification that includes Full-Short Leios #78

Triggered via pull request June 25, 2025 08:53
@yveshauseryveshauser
synchronize #405
yveshauser/full-short-leios-trace-verifier
Status Failure
Total duration 7m 41s
Artifacts –

conformance.yaml

on: pull_request
Leios trace verifier
7m 37s
Leios trace verifier
Fit to window
Zoom out
Zoom in

Annotations

1 error
Leios trace verifier
Process completed with exit code 1.