Skip to content
TLA+ Spec Verification

Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync #132

Sign in to view logs

Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync

Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync #132

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Counterexamples - Consistency
45s
Model Checking - Consistency
1s
Simulation - Consistency
6m 56s
7m 42s