Skip to content
LeanAuto CI

[Civl] Rearrange Paxos code to model natural flow of messages #273

Sign in to view logs

[Civl] Rearrange Paxos code to model natural flow of messages

[Civl] Rearrange Paxos code to model natural flow of messages #273

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
5m 38s
5m 38s