Closed webmaster128 closed 10 months ago
After this PR, both optimize.sh and optimize_workspace.sh are the same file, which means that both rust-optimizer and workspace-optimizer now do the exact same thing.
optimize.sh
optimize_workspace.sh
In the next PR I'd merge the two images into one.
After this PR, both
optimize.sh
andoptimize_workspace.sh
are the same file, which means that both rust-optimizer and workspace-optimizer now do the exact same thing.In the next PR I'd merge the two images into one.