We can use Github actions for setting up the CI. Once we have some testing ready, this can be done after #235