Skip to content

Commit 5fb6f2f

Browse files
Update README.md
1 parent 7c0deec commit 5fb6f2f

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

README.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,8 @@ The following Raft features are implemented:
3030

3131
### Safety Verification
3232

33-
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.
33+
Ra is [continuously tested](https://github.com/rabbitmq/ra-kv-store#jepsen-test) with the [Jepsen](https://github.com/jepsen-io/jepsen)
34+
distributed system verification framework.
3435

3536
## Supported Erlang/OTP Versions
3637

0 commit comments

Comments
 (0)