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

Cache json db #2642

Merged
merged 8 commits into from May 18, 2023
Merged

Cache json db #2642

merged 8 commits into from May 18, 2023

Commits on May 18, 2023

  1. Configuration menu
    Copy the full SHA
    5bf1f2d View commit details
    Browse the repository at this point in the history
  2. write cache database Json file

    rtbo committed May 18, 2023
    Configuration menu
    Copy the full SHA
    9b63683 View commit details
    Browse the repository at this point in the history
  3. avoid duplicates in cache DB

    rtbo committed May 18, 2023
    Configuration menu
    Copy the full SHA
    b6a2b67 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e752171 View commit details
    Browse the repository at this point in the history
  5. change db filename to "db.json"

    rtbo committed May 18, 2023
    Configuration menu
    Copy the full SHA
    06e237f View commit details
    Browse the repository at this point in the history
  6. add test for the cache database

    rtbo committed May 18, 2023
    Configuration menu
    Copy the full SHA
    4328c63 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    8323d1f View commit details
    Browse the repository at this point in the history
  8. checking for duplicates in reverse order

    cache hits are more likely in the most recent builds
    rtbo committed May 18, 2023
    Configuration menu
    Copy the full SHA
    18834c0 View commit details
    Browse the repository at this point in the history