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

Development - grade result cache with on/off switch for local testing #215

Merged
merged 4 commits into from
Jul 17, 2024
Merged

Development - grade result cache with on/off switch for local testing #215

merged 4 commits into from
Jul 17, 2024

Commits on Jul 16, 2024

  1. Pre-release version of grade caching with cache read and write switches 

    in the Coderunner settings. Just in case we want to ressurect them.
    @mckeownp
    mckeownp committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    63db0bb View commit details
    Browse the repository at this point in the history

  2. Result caching added for Jobe runs. It is turned off by default.

    @mckeownp
    mckeownp committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    ad84a80 View commit details
    Browse the repository at this point in the history

  3. Small tweak to run_in_sandbox to keep old versions of PHP happy.

    @mckeownp
    mckeownp committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    4e07518 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. Minor wording updates for grade cache settings.

    @mckeownp
    mckeownp committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    45ebaa3 View commit details
    Browse the repository at this point in the history