⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Remove Language feature since its always python in leaderboard#146

Merged
msaroufim merged 1 commit intomainfrom
language
Feb 7, 2026
Merged

Remove Language feature since its always python in leaderboard#146
msaroufim merged 1 commit intomainfrom
language

Commits

Commits on Feb 7, 2026