Skip to content
This repository has been archived by the owner on Aug 15, 2023. It is now read-only.

[build] shrink.sh minor improvement #742

Open
vecna opened this issue Oct 19, 2022 · 0 comments
Open

[build] shrink.sh minor improvement #742

vecna opened this issue Oct 19, 2022 · 0 comments
Labels
build Workspace, packages and platforms build NOT urgent

Comments

@vecna
Copy link
Member

vecna commented Oct 19, 2022

  1. it should be in the CI
  2. the version prefix fails and it is empty
  3. should print the produced filename at the end of the execution

linked to #741
@vecna vecna added NOT urgent build Workspace, packages and platforms build labels Oct 19, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
build Workspace, packages and platforms build NOT urgent
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vecna