Skip to content

Rename Raft log save/load_term() to set/get_term() #101

Rename Raft log save/load_term() to set/get_term()

Rename Raft log save/load_term() to set/get_term() #101

Triggered via push November 14, 2023 19:03
Status Success
Total duration 1m 26s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in