Skip to content
Continuous Verification

Ensure all public types are under CCF namespace #83

Sign in to view logs

Ensure all public types are under CCF namespace

Ensure all public types are under CCF namespace #83

Triggered via pull request December 4, 2024 15:04
@eddyashtoneddyashton
opened #6684
eddyashton:all_public_types_namespaced
Status Success
Total duration 21m 50s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
3m 21s
Model Checking - Consistency
Counterexamples - Consistency
1m 35s
Counterexamples - Consistency
Simulation - Consistency
2m 26s
Simulation - Consistency
Model Checking - Consensus
4m 30s
Model Checking - Consensus
Simulation - Consensus
21m 38s
Simulation - Consensus
Trace Validation - Consensus
4m 0s
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:5b8918bc5c67d3b1f64cffb9b1e9da9aa36dcd8a6d391883cfe31bbcbf836975