Skip to content
Test PR

avoid collision between names in Voting.v and Paxos.v (#356) #877

# to view logs

avoid collision between names in Voting.v and Paxos.v (#356)

avoid collision between names in Voting.v and Paxos.v (#356) #877

Triggered via push December 11, 2023 08:41
@palmskogpalmskog
pushed e029cb1
master
Status Success
Total duration 4m 42s
Artifacts –

test-pr.yml

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