Comment Comment by KnownSubset The uncompressed size of the docker image is over 5 GB. That is sad. parent KnownSubset 3 years ago
