Skip to content

Activity

Showing most recent first

Deleted branch

komamitsudeleted fix-opam-ci • 
on Aug 18, 2023

Fix Opam CI (#74)

Pull request merge
komamitsupushed 1 commit to master • 55dc0de…c17e8d0 • 
on Aug 18, 2023

Fix wrong dependency versions

komamitsucreated fix-opam-ci • 9c952de • 
on Aug 18, 2023

Add version

komamitsupushed 1 commit to master • cf23b0b…55dc0de • 
on Aug 16, 2023

Minor update on README

komamitsupushed 1 commit to master • 9a8f268…cf23b0b • 
on Aug 16, 2023

Deleted branch

komamitsudeleted improve-req-vote-in-candidate • 
on Aug 16, 2023

Improve request_vote in candidate (#73)

Pull request merge
komamitsupushed 1 commit to master • 5bb9315…9a8f268 • 
on Aug 16, 2023

Improve request_vote in candidate

komamitsucreated improve-req-vote-in-candidate • e50e33f • 
on Aug 15, 2023

Remove unnecessary lock from candidate

Force push
komamitsuforce pushed to remove-unnecessary-lock-in-candidate • 5be02aa…71acac7 • 
on Aug 15, 2023

Deleted branch

komamitsudeleted prevent-append-after-stepdown • 
on Aug 15, 2023

Ensure process is evaluated (#72)

Pull request merge
komamitsupushed 1 commit to master • 2803f89…5bb9315 • 
on Aug 15, 2023

Ensure process is evaluated

komamitsucreated prevent-append-after-stepdown • c57a7e8 • 
on Aug 15, 2023

Remove unnecessary lock from candidate

komamitsucreated remove-unnecessary-lock-in-candidate • 5be02aa • 
on Aug 15, 2023

Deleted branch

komamitsudeleted simplify-oraft-if • 
on Aug 15, 2023

Simplify Oraft I/F (#71)

Pull request merge
komamitsupushed 1 commit to master • e8eecec…2803f89 • 
on Aug 15, 2023

Remove unnecessary unit argument

komamitsucreated simplify-oraft-if • 6815165 • 
on Aug 15, 2023

Deleted branch

komamitsudeleted remove-unnecessary-todo • 
on Aug 15, 2023

Remove an unnecessary TODO (#70)

Pull request merge
komamitsupushed 1 commit to master • aa0432a…e8eecec • 
on Aug 15, 2023

Deleted branch

komamitsudeleted test • 
on Aug 8, 2023

Deleted branch

komamitsudeleted fix-persisting-leader • 
on Aug 8, 2023

Deleted branch

komamitsudeleted avoid-http-server-restart • 
on Aug 8, 2023

Deleted branch

komamitsudeleted unified • 
on Aug 8, 2023

Deleted branch

komamitsudeleted jepsen • 
on Aug 8, 2023

Deleted branch

komamitsudeleted fix-log-order • 
on Aug 8, 2023

Deleted branch

komamitsudeleted prepared-statement • 
on Aug 8, 2023

Deleted branch

komamitsudeleted fix-result-type-todo • 
on Aug 8, 2023

Deleted branch

komamitsudeleted remove-unnecessary-lock • 
on Aug 8, 2023

Remove unnecessary TODO

komamitsucreated remove-unnecessary-todo • 2e279c6 • 
on Aug 8, 2023

Remove unnecessary lock in candidate

komamitsucreated remove-unnecessary-lock • ec97bb6 • 
on Aug 6, 2023

Deleted branch

komamitsudeleted merge-init-and-run • 
on Aug 6, 2023