Skip to content

modify(leader_election_converter): fix a mistake #2804

modify(leader_election_converter): fix a mistake

modify(leader_election_converter): fix a mistake #2804

Triggered via pull request September 10, 2024 03:46
Status Success
Total duration 43s
Artifacts
spell-check-differential
35s
spell-check-differential
Fit to window
Zoom out
Zoom in

Annotations

1 error
spell-check-differential
Error: Command failed: git diff-tree --no-commit-id --name-only -r 0e30ca90d6c4a68b5434ff20b68a520ed4a9b2aa 3de69e1fadf5bdf857d1ddbee4f8ae8968b1ff39 fatal: bad object 3de69e1fadf5bdf857d1ddbee4f8ae8968b1ff39