Skip to content

Get rid of world files #3749

@ezyang

Description

@ezyang

They were added in 9efcc5b

They are undocumented.

There are no tests.

Nix-local build will probably simulate worlds using a different mechanism.

Let's get rid of it.

CC @dcoutts

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions