Skip to content

Refactor hardcoded set of all Servers out of ccfraft. #827

Refactor hardcoded set of all Servers out of ccfraft.

Refactor hardcoded set of all Servers out of ccfraft. #827

Triggered via push October 31, 2023 15:52
Status Success
Total duration 50m 44s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tlaplus.yml

on: push
Model Checking - Consensus
3m 41s
Simulation - Consensus
50m 35s
Model Checking - Consistency
2m 16s
Counterexamples - Consistency
59s
Simulation - Consistency
5m 25s