Skip to content

Activity

Showing most recent first

raft: introduce TLA+ specification (modules)

Serpentiancreated gh-5206-tla • 68ee36d • 
yesterday

raft: introduce TLA+ specification (modules)

Force push
Serpentianforce pushed to gh-5206-stage • 1dd4f9d…cbfe26a • 
yesterday

raft: introduce TLA+ specification (modules)

Force push
Serpentianforce pushed to gh-5206-stage • 7a14e20…1dd4f9d • 
yesterday

raft: introduce TLA+ specification (modules)

Serpentiancreated gh-5206-stage • 7a14e20 • 
2 days ago

raft: introduce TLA+ specification

Force push
Serpentianforce pushed to gh-5206-tla-raft • 59dee45…f3d34ab • 
11 days ago

raft: introduce TLA+ specification

Force push
Serpentianforce pushed to gh-5206-tla-raft • c270e58…59dee45 • 
14 days ago

raft: introduce TLA+ specification

Force push
Serpentianforce pushed to gh-5206-tla-raft • 1f592e6…c270e58 • 
15 days ago

raft: introduce TLA+ specification

Force push
Serpentianforce pushed to gh-5206-tla-raft • 6f08861…1f592e6 • 
15 days ago

raft: introduce TLA+ specification

Force push
Serpentianforce pushed to gh-5206-tla-raft • 77cbaaf…6f08861 • 
16 days ago

raft: introduce TLA+ specification

Serpentiancreated gh-5206-tla-raft • 77cbaaf • 
18 days ago

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 1aba030…66294d0 • 
on Feb 21

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 4a06ee2…1aba030 • 
on Feb 21

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 4fb5d1d…4a06ee2 • 
on Feb 21

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • aa4a484…4fb5d1d • 
on Feb 20

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • e6ab06a…aa4a484 • 
on Feb 20

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 01328b7…e6ab06a • 
on Feb 19

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 995c114…01328b7 • 
on Feb 13

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 3cbdded…995c114 • 
on Feb 13

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • cfd1123…3cbdded • 
on Feb 12

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • 15a6e4d…cfd1123 • 
on Feb 12

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • cc324d0…15a6e4d • 
on Feb 12

test: fix flaky replication/qsync_errinj

Serpentiancreated fix-flaky-qsync-errinj-draft • eacc484 • 
on Feb 12

test: stabilize replication/sync test

Force push
Serpentianforce pushed to fix-flaky-gh-3636 • 9f61b24…771dab5 • 
on Feb 6

test: fix flaky replication/qsync_errinj

Force push
Serpentianforce pushed to fix-flaky-qsync-errinj • f3c8779…cc324d0 • 
on Feb 6

test: fix flaky replication/qsync_errinj

Serpentiancreated fix-flaky-qsync-errinj • f3c8779 • 
on Feb 6

test: stabilize replication/sync test

Serpentiancreated fix-flaky-gh-3636 • 9f61b24 • 
on Feb 6

Test

Serpentiancreated test-coverage-workflow • cc6c6ed • 
on Nov 27, 2024

relay: fix sending raft requests with GROUP_DEFAULT id

Force push
Serpentianforce pushed to raft-is-never-sent-follow-up • f82598b…0f4992d • 
on Nov 27, 2024

relay: fix sending raft requests with GROUP_DEFAULT id

Serpentiancreated raft-is-never-sent-follow-up • f82598b • 
on Nov 27, 2024

mkversion: drop the module

Force push
Serpentianforce pushed to gh-10521-introduce-version-module • 26e68c1…b633a0d • 
on Nov 25, 2024