[CI] Redox CI

We don't currently have any CI for Redox (even a cross-compile check). Unfortunately, we do have Redox specific code. Unfortunately, this makes it impossible for me to touch said code...