Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Opam cleanup by Tyrubias #12

Merged
merged 2 commits into from
Oct 10, 2022
Merged

Opam cleanup by Tyrubias #12

merged 2 commits into from
Oct 10, 2022

Conversation

s34m
Copy link
Owner

@s34m s34m commented Oct 10, 2022

Tyrubias added 2 commits July 11, 2022 17:48
OPAM has a built-in `clean` command that automatically
removes download caches, logs, and cleans the current
OPAM switch. We should call `opam clean` when the
cleanup flag is set.
@s34m s34m merged commit a9d5d24 into s34m:dev Oct 10, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants