We need to fix the CI so that we can merge new PRs. Inspiration can be drawn from [here](https://github.com/rust-embedded/gpio-cdev/blob/master/.github/workflows/ci.yml).
