All binary releases are created here using deploy/package.sh script
They should be uploaded to github releases.