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

Large experiment. #692

Closed
wants to merge 14 commits into from
Closed

Large experiment. #692

wants to merge 14 commits into from

Commits on Nov 6, 2024

  1. Support cached images for cloud runner.

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    b97fae2 View commit details
    Browse the repository at this point in the history

  2. fix

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    1be0c64 View commit details
    Browse the repository at this point in the history

  3. override var

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    b09d8de View commit details
    Browse the repository at this point in the history

  4. fix docker image existance check

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    028f7cf View commit details
    Browse the repository at this point in the history

  5. Set real_project

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    a55143e View commit details
    Browse the repository at this point in the history

  6. debug

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    2aa1238 View commit details
    Browse the repository at this point in the history

  7. Large experiment. 

    With all oracles and 10 targets each per project.
    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    016e581 View commit details
    Browse the repository at this point in the history

  8. fix large exp config

    @oliverchang
    oliverchang committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    6f7e1a8 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. Merge remote-tracking branch 'origin/main' into large-exp-20241106

    @oliverchang
    oliverchang committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    5c5e354 View commit details
    Browse the repository at this point in the history

  2. trim benchmarks a little

    @oliverchang
    oliverchang committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    d827e1b View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. Merge branch 'main' into large-exp-20241106

    @oliverchang
    oliverchang authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    dbba505 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into large-exp-20241106

    @oliverchang
    oliverchang authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    84d1898 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into large-exp-20241106

    @oliverchang
    oliverchang authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    0f35e90 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into large-exp-20241106

    @oliverchang
    oliverchang authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    6919c4e View commit details
    Browse the repository at this point in the history