Skip to content
Continuous Verification

TLA CI on Azure Linux #110

Sign in to view logs

TLA CI on Azure Linux

TLA CI on Azure Linux #110

Triggered via pull request March 4, 2025 17:13
@maxtropetsmaxtropets
opened #6884
maxtropets:f/tla-azure-linux
Status Failure
Total duration 22m 29s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
24s
Model Checking - Consistency
Counterexamples - Consistency
1m 22s
Counterexamples - Consistency
Simulation - Consistency
2m 49s
Simulation - Consistency
Model Checking - Consensus
21s
Model Checking - Consensus
Simulation - Consensus
22m 13s
Simulation - Consensus
Trace Validation - Consensus
3m 40s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
Model Checking - Consensus
Value cannot be null. (Parameter 'ContainerId')
Model Checking - Consensus
Docker pull failed with exit code 1
Model Checking - Consistency
Value cannot be null. (Parameter 'ContainerId')
Model Checking - Consistency
Docker pull failed with exit code 1
Model Checking - Consensus
Docker pull failed with exit code 1, back off 3.347 seconds before retry.
Model Checking - Consensus
Docker pull failed with exit code 1, back off 8.417 seconds before retry.
Model Checking - Consistency
Docker pull failed with exit code 1, back off 8.712 seconds before retry.
Model Checking - Consistency
Docker pull failed with exit code 1, back off 5.361 seconds before retry.

Artifacts

Produced during runtime
Name Size
tlc-trace-validation-consensus
3.7 MB