Bring development into a Github workflow