Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Setup GitHub actions for CI #990
Motivated by the irritatingly long wait for Travis agents earlier, this replicates the existing CI setup on GitHub actions.
On the plus side, these jobs generally start much quicker than on Travis, and are well integrated into GitHub. On the down side, Actions themselves are still reasonably new and are changing rapidly, and annoyingly they do not support Yaml anchors/aliases, so this config file is enormous and full of duplicated things.
I suggest we run this alongside Travis for a while and see how we fare.