git status unclean after make #7
Description
It would be nice if the Coq CI target would leave behind a clean git status so that one can easily detect that an automated refactor didn't touch this repository.
{{ message }}
It would be nice if the Coq CI target would leave behind a clean git status so that one can easily detect that an automated refactor didn't touch this repository.