Infrastructure

I don't have permission to make an issue under the infrastructure project, so posting it here in the hopes that someone can move this to the right place.

What's the problem? Describe what went wrong.

When a commit to master on GitHub builds and is released, it is not ordered properly on the Dolphin page: https://dolphin-emu.org/download/list/master/1/.

See 5.0-14727 vs 5.0-14729. The build for 5.0-14727 started earlier than that for 5.0-14729, but finished later and is thus listed higher up on the list.

Dolphin users are unable to update to 5.0-14729 via check for update.

What steps will reproduce the problem?

Add a commit that builds slowly, then a commit that builds fast. The release for the slow commit will happen after that for the fast code, meaning the versions will appear out of order on the dolphin master downloads.