Skip to content

rustdoc: Renders Run button even if playpen is not enabled #36621

Closed
@bluss

Description

@bluss

rustdoc renders the Run button even if playpen is not enabled now. Clicking the button has no useful effect.

Was this caused by #36334 ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions