Skip to content
Verification

Check refinement of high-level spec abs for configs with reconfiguration. #2117

Sign in to view logs

Check refinement of high-level spec abs for configs with reconfiguration.

Check refinement of high-level spec abs for configs with reconfiguration. #2117

Triggered via pull request September 20, 2024 18:16
@lemmylemmy
opened #6493
lemmy:mku-refinement
Status Failure
Total duration 51m 0s
Artifacts 1

tlaplus.yml

on: pull_request
Model Checking - Consistency
2m 35s
Model Checking - Consistency
Counterexamples - Consistency
46s
Counterexamples - Consistency
Simulation - Consistency
2m 24s
Simulation - Consistency
Model Checking - Consensus
1m 54s
Model Checking - Consensus
Model Checking With Reconfig - Consensus
2m 2s
Model Checking With Reconfig - Consensus
Simulation - Consensus
50m 46s
Simulation - Consensus
Trace Validation - Consensus
3m 58s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Annotations

4 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 75.
Trace Validation - Consensus
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run

Artifacts

Produced during runtime
Name Size
tlc
9.12 KB