Skip to content
TLA

Check liveness #7

Sign in to view logs

Check liveness

Check liveness #7

Triggered via pull request November 6, 2024 04:05
@lemmylemmy
opened #6
lemmy:mku-liveness
Status Failure
Total duration 10m 45s
Artifacts –

tla.yml

on: pull_request
tlc-simulate
7s
tlc-simulate
tlc-verify
10m 35s
tlc-verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors
tlc-simulate
Process completed with exit code 13.
tlc-verify
Process completed with exit code 10.