Closed jschueller closed 1 year ago
We move the lint check into a separate CI job to distinguish regular test failures
@anthony-nouy can we merge this ?
We move the lint check into a separate CI job to distinguish regular test failures