Skip to content

Use tar.gz instead of zip #613

New issue
New issue
Closed
Closed
Use tar.gz instead of zip#613
Labels
0. Needs triageenhancementfeature: integrityStep 5
@tobiasKaminsky

Description

@tobiasKaminsky
tobiasKaminsky
opened on Mar 21, 2025
  • reduces size
  • reduces server load

Metadata

Metadata

Assignees

No one assigned

    Labels

    0. Needs triageenhancementfeature: integrityStep 5

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions