Fix CI

[eldruin]

The CI is broken at the moment. See here.

[BartMassey]

Thanks for filing this — I meant to but hadn't gotten to it yet.

Hopefully someone better at Github CI than I will fix it, but otherwise I'll poke at it RSN.