TLA CI on Azure Linux #117
ci-verification.yml
on: pull_request
Model Checking - Consistency
1m 56s
Counterexamples - Consistency
1m 12s
Simulation - Consistency
2m 47s
Model Checking - Consensus
3m 35s
Simulation - Consensus
22m 1s
Trace Validation - Consensus
3m 26s
Annotations
1 error
Trace Validation - Consensus
Process completed with exit code 127.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
tlc-trace-validation-consensus
|
116 KB |
|