Add several liveness properties #6
lemmytla.yml
on: pull_request
tlc-simulate
6s
tlc-verify
10m 27s
Annotations
2 errors
|
tlc-simulate
Process completed with exit code 13.
|
|
tlc-verify
Process completed with exit code 10.
|