Skip to content

Use new proposed API for running untitled Python files #21182

Closed

Description

@karrtikr
No description provided.

Activity

  1. karrtikr commented on May 4, 2023

    @karrtikr
    Author

    Verification steps

    Verify #20953 is still fixed

  2. added this to the May 2023 milestone on May 4, 2023
  3. locked as resolved and limited conversation to collaborators on Jun 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions