Skip to content
Continuous Verification

Remove StatsFile.tla #45

Sign in to view logs

Remove StatsFile.tla

Remove StatsFile.tla #45

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Model Checking - Consistency
2m 38s
Counterexamples - Consistency
1m 10s
Model Checking - Consensus
4h 18m 3s
Simulation - Consensus
20m 39s
Simulation - Consistency
2m 18s
Trace Validation - Consensus
5m 14s
4h 50m 2s