Closed webmaster128 closed 10 months ago
I suppose we'll en the end deprecate one of the images in favour of the other, right?
Yeah. I'd publish under the old names for some time to make the migration convenient.
Long term I don't know that would be best. One of:
workspace-optimizer
in favour of rust-optimizer
Any preference?
Closes #135
Before this PR,
optimize_workspace.sh
andoptimize.sh
were identical already. From this change onwards, both docker images have the same hash.