Skip to content
TLA

WIP: Aligning spec #51

Sign in to view logs

WIP: Aligning spec

WIP: Aligning spec #51

Triggered via pull request November 29, 2024 11:29
@heidihowardheidihoward
synchronize #14
align
Status Failure
Total duration 10m 15s
Artifacts –

tla.yml

on: pull_request
tlc-simulate
10m 5s
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 10.
tlc-verify
Process completed with exit code 10.