|
bots.rs
|
store active version id in bots table
|
2022-07-23 23:40:25 +02:00 |
|
matches.rs
|
list matches for a specific bot
|
2022-08-04 21:48:25 +02:00 |
|
mod.rs
|
add ratings table
|
2022-05-09 19:41:33 +02:00 |
|
ratings.rs
|
implement leaderboard endpoint
|
2022-05-17 21:13:29 +02:00 |
|
sessions.rs
|
apply clippy suggestions
|
2022-03-13 15:20:03 +01:00 |
|
users.rs
|
add bot detail page
|
2022-07-24 16:45:29 +02:00 |
