Add ability to rename a problem #91

Open

opened

on Jan 16, 2026

A problem name is considered to be its unique id so when i tried to rename the fp4 leaderboard to fake fp4 it just created a new leaderboard which is unfortunate

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests