khepri_cluster: Restore the use of ra_leaderboard in members/2
#145
| Job | Run time |
|---|---|
| 1s | |
| 1m 58s | |
| 4m 20s | |
| 4m 59s | |
| 4m 19s | |
| 4m 52s | |
| 15s | |
| 0s | |
| 0s | |
| 0s | |
| 20m 44s |
ra_leaderboard in members/2
#145
| Job | Run time |
|---|---|
| 1s | |
| 1m 58s | |
| 4m 20s | |
| 4m 59s | |
| 4m 19s | |
| 4m 52s | |
| 15s | |
| 0s | |
| 0s | |
| 0s | |
| 20m 44s |