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