Skip to content
This repository has been archived by the owner on Oct 12, 2022. It is now read-only.

Clean up OPAM directories if requested when running topgrade #973

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Clean up OPAM directories if requested when running topgrade #973

wants to merge 2 commits into from

Commits on Jul 11, 2022

  1. Clean up OPAM if requested 

    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.
    @Tyrubias
    Tyrubias committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    a19c414 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. Merge branch 'master' into opam-cleanup

    @Tyrubias
    Tyrubias authored Jul 14, 2022
    Configuration menu
    Copy the full SHA
    2d7c75a View commit details
    Browse the repository at this point in the history