Skip to content
Snippets Groups Projects

chore: refine logging

Merged chore: refine logging
log-verbosity into master
Merged Yaroslav Dynnikov requested to merge log-verbosity into master
  1. Lower log level of connection errors in netork.rs.
  2. Give raft fibers a name.

Merge request reports

Merge request pipeline #4532 passed

Stage: build

Merge request pipeline passed for c01f07df

Approval is optional

Merged by Yaroslav DynnikovYaroslav Dynnikov 2 years ago (May 12, 2022 2:48pm UTC)

Merge details

  • Changes merged into with c01f07df.
  • Deleted the source branch.

Pipeline #4535 passed

Stage: build

Pipeline passed for c01f07df on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply