Skip to content

WIP: Aligning spec

WIP: Aligning spec #46

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

tla.yml

on: pull_request
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.