The build process must not have completed fully. I didn't see a mailing list notification of a new release. The new Linux build was available in Linux Mint's Software Manager.
Something interesting. Even though my Linux machine is running the 20170617 build, I am prompted that the previous 20170608 build is newer.
Yeah, expected based on how that works.
The build system got hung up on the windows build for some reason. It happens rarely.
I reconfigured it this morning to be a little more convenient for triggering rebuilds. Previously, it would build and upload the ubuntu packages early, which always succeeds. If the windows build fails (which happens much more often), I couldn't re-trigger it (without some monkeywork) because the PPA won't let you re-upload the packages. Anyway, I changed the ordering so the PPA upload happens last if everything else succeeds, which will make it easier for me to re-trigger them for a given day if we need it.
I just did that and it went fine.
--Dan