Update JEPSEN_TODO and add CI workflow

Author: bootjp

.github/workflows/jepsen.yml

@@ -0,0 +1,72 @@
+name: Jepsen VM Run
+
+on:
+  workflow_dispatch:
+    inputs:
+      time-limit:
+        description: "Workload runtime seconds"
+        required: false
+        default: "60"
+      rate:
+        description: "Ops/sec per worker"
+        required: false
+        default: "10"
+      faults:
+        description: "Comma-separated faults (partition,kill,clock)"
+        required: false
+        default: "partition,kill,clock"
+
+jobs:
+  jepsen:
+    # Requires a self-hosted runner with VirtualBox + Vagrant and at least 12GB RAM free.
+    runs-on: [self-hosted, virtualbox]
+    timeout-minutes: 120
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Set up Go
+        uses: actions/setup-go@v5
+        with:
+          go-version: "1.25.5"
+
+      - name: Bring up Jepsen VMs
+        working-directory: jepsen
+        run: vagrant up
+
+      - name: Run Jepsen workload
+        working-directory: jepsen
+        env:
+          HOME: ${{ github.workspace }}/jepsen/tmp-home
+          LEIN_HOME: ${{ github.workspace }}/jepsen/.lein
+          LEIN_JVM_OPTS: -Duser.home=${{ github.workspace }}/jepsen/tmp-home
+        run: |
+          vagrant ssh ctrl -c "cd ~/elastickv/jepsen && \
+            lein run -m elastickv.redis-workload \
+              --nodes n1,n2,n3,n4,n5 \
+              --time-limit ${{ github.event.inputs['time-limit'] || github.event.inputs.time-limit }} \
+              --rate ${{ github.event.inputs['rate'] || github.event.inputs.rate }} \
+              --faults ${{ github.event.inputs['faults'] || github.event.inputs.faults }} \
+              --concurrency 10"
+
+      - name: Collect Jepsen artifacts
+        if: always()
+        working-directory: jepsen
+        run: |
+          mkdir -p $GITHUB_WORKSPACE/artifacts
+          vagrant ssh ctrl -c "cd ~/elastickv/jepsen && tar czf /home/vagrant/results.tgz store/ target/ tmp-home/jepsen.store || true"
+          vagrant scp ctrl:/home/vagrant/results.tgz $GITHUB_WORKSPACE/artifacts/results.tgz || true
+
+      - name: Destroy VMs
+        if: always()
+        working-directory: jepsen
+        run: vagrant destroy -f
+
+      - name: Upload artifacts
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: jepsen-results
+          path: artifacts/results.tgz