v0.13.10 (2025-05-15)
Fix
-
fix: Remove SNL (#198)
-
fix: Remove SNL
fixes #197
This PR removed SNL which is has been taken down. To maintain the leaderboard we decided to remove the tasks, but expect to replace them with alternatives in v2 of the leaderboard.
