Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Introduce multicore parallelism for 40% speed-up on presenting opam install plan #5877

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Introduce multicore parallelism for 40% speed-up on presenting opam install plan #5877

wants to merge 5 commits into from

Commits on Mar 10, 2024

  1. use multicore parallelism

    @mbacarella
    mbacarella committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    0830fa0 View commit details
    Browse the repository at this point in the history

  2. temporary dose3 patch

    @mbacarella
    mbacarella committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    0467f5e View commit details
    Browse the repository at this point in the history

  3. use OpamLazy.memo_unit here

    @mbacarella
    mbacarella committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    46460d8 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. use existing patch framework

    @mbacarella
    mbacarella committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    0727e3b View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. shorten diff by using @@ and maintaining indents

    @mbacarella
    mbacarella committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    9c7bc0e View commit details
    Browse the repository at this point in the history