TLA CI on Azure Linux #122
achamayouci-verification.yml
on: pull_request
Model Checking - Consistency
2m 8s
Counterexamples - Consistency
1m 15s
Simulation - Consistency
2m 43s
Model Checking - Consensus
3m 40s
Simulation - Consensus
22m 7s
Trace Validation - Consensus
5m 15s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tlc-trace-validation-consensus
|
3.7 MB |
|