Collecting workspace-tools==3.0.12
Downloading workspace-tools-3.0.12.tar.gz (53kB)
Building wheels for collected packages: workspace-tools
Stored in directory: /tmp/tmpkl4zgurv
Successfully built workspace-tools