1. raft TLA spec with etcd implementation #6
joshuazh-x
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 error and 3 warnings
|
run
issues found
|
|
run:
state_trace.go#L8
exported: type name will be used as raft.RaftStateMachineEventType by other packages, and that stutters; consider calling this StateMachineEventType (revive)
|
|
run:
state_trace.go#L109
exported: type name will be used as raft.RaftStateMachineTracer by other packages, and that stutters; consider calling this StateMachineTracer (revive)
|
|
run:
state_trace.go#L80
var-naming: struct field NodeId should be NodeID (revive)
|