Continuous Verification #575
ci-verification.yml
on: schedule
Model Checking - Consistency
1m 41s
Counterexamples - Consistency
42s
Simulation - Consistency
2m 8s
Model Checking - Consensus
5m 23s
Simulation - Consensus
21m 34s
Trace Validation - Consensus
5m 31s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
tlc-trace-validation-consensus
|
14.4 MB |
sha256:34d7017873e9deb07b1162f6d9d8cf258b61b9211f419b020b37cf559e0fb169
|
|