Check also the formatting in CI
3 files changed