Add a leaderboard with Redis

2023-03-17 11:55:45 +01:00
parent abf902c80e
commit 429fed7893
3 changed files with 65 additions and 0 deletions
--- a/board-server/Cargo.toml
+++ b/board-server/Cargo.toml
@@ -15,3 +15,5 @@ tungstenite = "0.18.0"
 anyhow = "1.0.69"
 rand = "0.8.5"
 serde_json = "1.0.93"
+redis = { version = "0.22.3", features = ["aio", "async-std-comp"] }
+async-trait = "0.1.66"