Skip to content

fix: pin gradio dependency to ensure leaderboards works#2387

Merged
Samoed merged 1 commit intomainfrom
pin-gradio
Mar 17, 2025
Merged

fix: pin gradio dependency to ensure leaderboards works#2387
Samoed merged 1 commit intomainfrom
pin-gradio

Commits

Commits on Mar 17, 2025