Skip to content

Add extension/ to .pubignore to reduce package size #427

Closed
Closed
Add extension/ to .pubignore to reduce package size#427

Description

@arrrrny
arrrrny
opened on Sep 18, 2026

The extension/ directory contains DevTools extension source that doesn't need to be published. Adding it to .pubignore will reduce the published package size.

Activity

  1. escamoteur commented on Sep 19, 2026

    @escamoteur
    escamoteur
    on Sep 19, 2026
    Member

    See #428 — extension/devtools/build/ is the compiled DevTools extension and must be published; 9.3.0 drops the symbol files instead.

  2. escamoteur
    closed this as completedon Sep 19, 2026
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

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions