We build it in Docker, but copy the release tarball out of the container and upload it directly to our servers.