Skip to content

Make git dirty an error only under CI/CD pipelines#120

Merged
ssbarnea merged 1 commit intomainfrom fix/dirty22Nov 18, 2024

Commits

Commits on Nov 18, 2024