Merge pull request #11 from josehu07/multipaxos #32

Sign in to view logs

Summary
Jobs
- format
Run details
- Usage
- Workflow file

Triggered via push August 9, 2023 15:45

josehu07

main

Status Success

Total duration 20s

Artifacts –

format.yml

on: push