It looks like this repo does not have an active CI? If so, we should set it up to use github actions.