All pull requests

Pull requests

• build(deps): bump github/codeql-action/init from 4.36.2 to 4.38.3

  dependenciesgithub_actionsneeds-ok-to-testsize/XS
  #532·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  2

• build(deps): bump github/codeql-action/analyze from 4.36.2 to 4.38.3

  dependenciesgithub_actionsneeds-ok-to-testsize/XS
  #531·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  2

• build(deps): bump github/codeql-action/autobuild from 4.36.2 to 4.38.3

  dependenciesgithub_actionsok-to-testsize/XS
  #530·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  2

• build(deps): bump github/codeql-action/autobuild from 4.36.2 to 4.38.2

  dependenciesgithub_actionsneeds-ok-to-testsize/XS
  #526·dependabot[bot] opened Sep 28, 2026Bot·

  ·
  2

• build(deps): bump arduino/setup-protoc from 1.3.0 to 3.0.0

  dependenciesgithub_actionsneeds-ok-to-testsize/XS
  #507·dependabot[bot] opened Aug 24, 2026Bot·

  ·
  2

• Adding Scenario tests

  needs-ok-to-testsize/XXL
  #474·zeu5 opened Jul 15, 2026·

  ·
  3

• tla: block campaigns with unapplied config changes

  needs-ok-to-testsize/L
  #469·bug-catcher opened Jul 13, 2026·

  ·
  2

• build(deps): bump golang.org/x/net from 0.50.0 to 0.55.0 in /tools/mod

  dependenciesgoneeds-ok-to-testsize/M
  #461·dependabot[bot] opened Jul 3, 2026Bot·

  ·
  2

• raft: fix TLA+ specification to match unapplied config guard

  needs-ok-to-testsize/S
  #458·CharlieQiu2017 opened Jun 29, 2026·

  ·
  3

• raft: match exact storage errors in bootstrap test

  needs-ok-to-testsize/S
  #454·NasitSony opened Jun 17, 2026·

  ·
  2

• raft: return error for rejected conf change

  needs-ok-to-testsize/S
  #453·NasitSony opened Jun 16, 2026·

  ·
  1

  2

• raft: reduce async storage missing entry log noise

  needs-ok-to-testsize/XS
  #452·NasitSony opened Jun 16, 2026·

  ·
  1

  2

• Add Trace Validation Harness for Extended TLA+ Spec

  needs-ok-to-testsize/XXL
  #382·Qian-Cheng-nju opened Feb 4, 2026Contributor·

  ·
  2

• Add Extended System-Level TLA+ Specification for Raft Core Module

  needs-ok-to-testsize/XXL
  #381·Qian-Cheng-nju opened Feb 4, 2026Contributor·

  ·
  3

• Raftsimple (copy of raftexample) - Simple key-value store example

  needs-ok-to-testsize/XXL
  #376·ntdkhiem opened Jan 30, 2026·

  ·
  18

• Remove hardcoded b.N rewrite in BenchmarkRawNode

  needs-ok-to-testsize/S
  #367·logica0419 opened Jan 3, 2026·

  ·
  1

  15

• Add simulation mode to model validation

  ok-to-testsize/S
  #309·joshuazh-x opened Jun 30, 2025Contributor·

  ·
  4

• decouple raftLog - phase 1: introduce the new type controlflowLog.

  needs-ok-to-testsize/S
  #292·IAMRogerXi opened Apr 29, 2025·

  ·
  2

• docs: add developer-friendly badges to README

  needs-ok-to-testsize/S
  #289·ajita-asthana opened Apr 9, 2025·

  ·
  2

• refact JointConfig to To improve code understandability

  needs-ok-to-testneeds-rebasesize/L
  #285·zwkno1 opened Mar 31, 2025·

  ·
  9

• feat: Delete Progress.PendingSnapshot and improve snapshot handling

  needs-ok-to-testneeds-rebasesize/L
  #243·soma00333 opened Nov 27, 2024·

  ·
  1

  8

• breaking: Make StepDownOnRemoval the default behavior

  needs-ok-to-testsize/L
  #239·soma00333 opened Nov 18, 2024·

  ·
  3

• breaking: Remove RawNode.TickQuiesced()

  needs-ok-to-testsize/S
  #237·soma00333 opened Nov 17, 2024·

  ·
  5

• Enhance etcd raft TLA+ spec

  needs-rebasesize/XXL
  #226·joshuazh-x opened Oct 15, 2024Contributor·

  ·
  6

• Trace validation test

  needs-rebasesize/XXL
  #204·joshuazh-x opened Jun 13, 2024Contributor·

  ·
  31