Skip to content

Rename benchmarks to 'private' and leaderboards to 'public'; public submissions are not deletable by users but can be deleted by admin. #420

Open
Open
Rename benchmarks to 'private' and leaderboards to 'public'; public submissions are not deletable by users but can be deleted by admin.#420
@msaroufim

Description

@msaroufim
msaroufim
opened on Feb 2, 2026

Almost done #413

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    KernelBot Roadmap

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions