Skip to content
Continuous Verification

Update base image to 05-12-2024 on main #87

Sign in to view logs

Update base image to 05-12-2024 on main

Update base image to 05-12-2024 on main #87

Triggered via pull request December 5, 2024 18:09
@achamayouachamayou
opened #6691
achamayou:update_main_to_build_05_12_2024
Status Success
Total duration 21m 59s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
3m 11s
Model Checking - Consistency
Counterexamples - Consistency
58s
Counterexamples - Consistency
Simulation - Consistency
2m 26s
Simulation - Consistency
Model Checking - Consensus
4m 45s
Model Checking - Consensus
Simulation - Consensus
21m 44s
Simulation - Consensus
Trace Validation - Consensus
3m 48s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Counterexamples - Consistency
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation - Consistency
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulation - Consensus
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
tlc-trace-validation-consensus Expired
3.7 MB
sha256:9a360903eb24f0fd3a2cdb08290ce8bb3bd4a22ac5620bc78f0a15a446e91a21