Skip to content
Snippets Groups Projects

ci: make sure we don't have a dirty repo

Merged Marc Schmitt requested to merge ci-proper-commit into master