We should add a CI workflow for this repo with some tests.
We should add a CI workflow for this repo with some tests.