There were recently some infrastructure changes to GitHub's release-uploading infrastructure that broke compatibility with our buildbot.
I have rewritten the buildbot using a new library and builds should become available soon again.
If it works well, the earlier dropped less popular builds might also be included again.
Most helpful comment
There were recently some infrastructure changes to GitHub's release-uploading infrastructure that broke compatibility with our buildbot.
I have rewritten the buildbot using a new library and builds should become available soon again.
If it works well, the earlier dropped less popular builds might also be included again.