Skip to content
Backport PR to LTS release branch(es)

Moving the TLA+ spec for consensus #2081

Sign in to view logs

Moving the TLA+ spec for consensus

Moving the TLA+ spec for consensus #2081

Triggered via pull request October 20, 2023 16:12
@achamayouachamayou
closed #5751
Status Skipped
Total duration 4s
Artifacts –

backport.yml

on: pull_request_target
Backport PR
0s
Backport PR
Fit to window
Zoom out
Zoom in