Fix style in the CI script