This is not ideal, as this includes builds from PRs. Some PR's might not be ready to be used, and it would be possible for someone to create a PR with malicious code, which would be bad.
This updated URL filters the CI builds to build on master, that succeed, and the commit is pushed(ie not a pr).
Currently, http://strlen.com/procrastitracker/#download links to a list of every CI build.
This is not ideal, as this includes builds from PRs. Some PR's might not be ready to be used, and it would be possible for someone to create a PR with malicious code, which would be bad.
This updated URL filters the CI builds to build on master, that succeed, and the commit is pushed(ie not a pr).