Skip to content
TLA

WIP: Aligning spec #45

Sign in to view logs

WIP: Aligning spec

WIP: Aligning spec #45

Triggered via pull request November 28, 2024 13:38
@heidihowardheidihoward
synchronize #14
align
Status Failure
Total duration 10m 16s
Artifacts –

tla.yml

on: pull_request
tlc-simulate
22s
tlc-simulate
tlc-verify
10m 6s
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.