Skip to content
Automated quick-and-dirty build

Informally prove property of the chain sync mini-protocol with fixed … #227

Sign in to view logs

Informally prove property of the chain sync mini-protocol with fixed …

Informally prove property of the chain sync mini-protocol with fixed … #227

Triggered via push January 19, 2024 22:54
@javierdiaz72javierdiaz72
pushed 96d45e0
enhancement/chain-sync-mini-protocol-simple-correctness-proof-sketch
Status Success
Total duration 6m 31s
Artifacts 1

quick-and-dirty-build.yaml

on: push
quick-and-dirty-build
6m 22s
quick-and-dirty-build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
document Expired
660 KB