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.

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

Add a cache system #75

Draft
wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Commits on Dec 3, 2023

  1. Add a cache system

    The response of a request is cached and it is invalidated every time one
    of then packages of the new request is involve ind the differencies
    between the new opam commit and the old one(cached opam commit).
    
    Anytime the cached response is the same as the new response, we keep the
    old one for the oldest opam commits which are used.
    moyodiallo committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    d1120d4 View commit details
    Browse the repository at this point in the history
  2. Refactor and fix the invalidation

    Invalidate the cache when the new commit is older in the commit history.
    moyodiallo committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    10f8152 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Refactoring

    moyodiallo committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    53e4c0e View commit details
    Browse the repository at this point in the history
  2. Update Dockerfile

    moyodiallo committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    ffe2df9 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Invalidate the cache because of a transitive dep.

    On addition to direct dependencies some transitive deps could also
    change between 2 commits of opam repository.
    moyodiallo committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    ef0beba View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. Some corrections

    * Same solution with different commit (is_same_solution).
    * Same commits have no changes.
    moyodiallo committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    e004ee9 View commit details
    Browse the repository at this point in the history