I ran out of disk space (surprise) while a new version was building. The build thus failed but after freeing up space it didn't retry.