Check refinement of high-level spec abs for configs with reconfiguration. #2118
tlaplus.yml
on: pull_request
Model Checking - Consistency
2m 54s
Counterexamples - Consistency
39s
Simulation - Consistency
2m 4s
Model Checking - Consensus
28m 51s
Model Checking With Reconfig - Consensus
44m 0s
Simulation - Consensus
50m 43s
Trace Validation - Consensus
3m 41s
Annotations
3 errors
Model Checking - Consensus
Process completed with exit code 13.
|
Model Checking With Reconfig - Consensus
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
Model Checking With Reconfig - Consensus
Process completed with exit code 13.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
tlc
|
12.7 KB |
|