Skip to content
Snippets Groups Projects

fix: represent node leader_id as Option

Passed
Yaroslav Dynnikov created pipeline for commit d87dd4ca
, finished
Related merge request !120 to merge node-leader-id
merge request
1 job 4 minutes 45 seconds, queued for 28 seconds