Our CI seems to have stopped running. Looking at the CI file, it looks like it's _very_ outdated, and could do with an overhaul.