Skip to content

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

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 ?

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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