-
This requires adding an option [--soft] to [refinedc clean] in order to prevent the [_CoqProject] file to be edited locally when building or cleaning the examples.
3fd1be7c
Validating GitLab CI configuration…
Learn more
This requires adding an option [--soft] to [refinedc clean] in order to prevent the [_CoqProject] file to be edited locally when building or cleaning the examples.