Check Specs & Metadata

Add Practical SMR-system-style MultiPaxos Spec #336

Sign in to view logs

Re-run triggered February 20, 2024 10:52

ahelwer

#121

josehu07:master

Status Success

Total duration 21m 52s

Artifacts –

CI.yml

on: pull_request

Matrix: Validate Manifest, Specs, & Models