Merge pull request #15 from heidihoward/Maxquorum #49
heidihowardtla.yml
on: push
tlc-simulate
7m 58s
tlc-verify
10m 8s
Annotations
2 errors
|
tlc-simulate
Process completed with exit code 13.
|
|
tlc-verify
Process completed with exit code 10.
|