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

Add a file cache #186

Merged
merged 5 commits into from
Jan 28, 2024
Merged

Add a file cache #186

merged 5 commits into from
Jan 28, 2024

Commits on Jan 26, 2024

  1. Use file cache

    @ehllie
    ehllie committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    e03f576 View commit details
    Browse the repository at this point in the history

  2. Fix test errors

    @ehllie
    ehllie committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    172f46d View commit details
    Browse the repository at this point in the history

  3. Separate frontend::check from main

    @ehllie
    ehllie committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    ffc85df View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2024

  1. Update src/cache/mod.rs

    @jfecher
    jfecher authored Jan 28, 2024
    Configuration menu
    Copy the full SHA
    0366f71 View commit details
    Browse the repository at this point in the history

  2. Update src/error/mod.rs

    @jfecher
    jfecher authored Jan 28, 2024
    Configuration menu
    Copy the full SHA
    1226b73 View commit details
    Browse the repository at this point in the history