Skip to content
Test PR

avoid collision between names in Voting.v and Paxos.v by using paxos_… #874

# to view logs

avoid collision between names in Voting.v and Paxos.v by using paxos_…

avoid collision between names in Voting.v and Paxos.v by using paxos_… #874

Triggered via push December 8, 2023 16:54
@palmskogpalmskog
pushed 5aaa4d6
prefix-paxos
Status Success
Total duration 4m 47s
Artifacts –

test-pr.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in