[I'm in contact with a guy who would also be willing to provide us with an AArch64 CI box and who's currently trying to set up GitHub integration.]