Mention Jepsen tests in readme

rabbitmq · Mar 9, 2023 · 707ad65 · 707ad65
1 parent 45a202a
commit 707ad65
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -28,6 +28,10 @@ The following Raft features are implemented:
 
 ![Actions](https://github.com/rabbitmq/ra/actions/workflows/erlang.yml/badge.svg)
 
+### Safety Verification
+
+We [continuously test](https://github.com/rabbitmq/ra-kv-store#jepsen-test) RA with the [Jepsen](https://github.com/jepsen-io/jepsen) distributed system verification framework.
+
 ## Supported Erlang/OTP Versions
 
 Ra supports the following Erlang/OTP versions: