Skip to content
TLA

Add viewStable variable to TypeOK invariant. #87

Sign in to view logs

Add viewStable variable to TypeOK invariant.

Add viewStable variable to TypeOK invariant. #87

Triggered via push December 6, 2024 20:45
@lemmylemmy
pushed 483eabe
main
Status Failure
Total duration 20m 22s
Artifacts –

tla.yml

on: push
tlc-simulate
20m 8s
tlc-simulate
tlc-verify
20m 11s
tlc-verify
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
tlc-verify
Process completed with exit code 10.
tlc-simulate
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tlc-verify
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636