We have moved!

Our CI setup moved to GitHub Actions. We are working on updating the "how to get development version" instructions, but in the meantime, you can go to:

(note that due to a GitHub bug, all branches with 'dev' in the name are displayed on a single page - make sure to pick only the ones that say 'dev', unless you know what you are doing)