Improve CI
At least some linting should be done