Skip to content
CodeQL

TLA+ spec of raft consensus algorithm in etcd implementation #346

Sign in to view logs

TLA+ spec of raft consensus algorithm in etcd implementation

TLA+ spec of raft consensus algorithm in etcd implementation #346

Re-run triggered November 24, 2023 14:08
@serathiusserathius
#112
joshuazh-x:tlaplus-spec
Status Success
Total duration 1m 33s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in