Skip to content

1.4.0

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 27 Jul 10:16
· 23 commits to develop since this release
1.4.0
9336ae1
  • Don't adjust the ranks automatically after adding an assertion (3de4f58)
  • The make_leaderboard() method is public, it's used in Tahrir (fbf1117)