Skip to content
TLA+ Spec Verification

Merge branch 'main' into dependabot/npm_and_yarn/js/ccf-app/chai-5.0.0 #1007

Sign in to view logs

Merge branch 'main' into dependabot/npm_and_yarn/js/ccf-app/chai-5.0.0

Merge branch 'main' into dependabot/npm_and_yarn/js/ccf-app/chai-5.0.0 #1007

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Model Checking - Consistency
3m 26s
Simulation - Consistency
6m 11s
Counterexamples - Consistency
36s
10m 13s