Skip to content

Remove unnecessarily public + repeated singleton initialisation #184

Remove unnecessarily public + repeated singleton initialisation

Remove unnecessarily public + repeated singleton initialisation #184

Triggered via pull request July 17, 2025 14:34
Status Success
Total duration 22m 12s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
1m 58s
Model Checking - Consistency
Counterexamples - Consistency
1m 11s
Counterexamples - Consistency
Simulation - Consistency
2m 45s
Simulation - Consistency
Model Checking - Consensus
3m 19s
Model Checking - Consensus
Simulation - Consensus
22m 3s
Simulation - Consensus
Trace Validation - Consensus
5m 14s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
tlc-trace-validation-consensus
3.7 MB
sha256:d43672bf3fbde81e797d183ca2980cc762181252a79abf1df558e2a8b9ff5676