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

[Build] General Maintenance #842

Merged
merged 7 commits into from
May 20, 2024
Merged

[Build] General Maintenance #842

merged 7 commits into from
May 20, 2024

Commits on May 19, 2024

  1. Configuration menu
    Copy the full SHA
    b1686dc View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Try reloading models more

    riedgar-ms committed May 20, 2024
    Configuration menu
    Copy the full SHA
    8d2b027 View commit details
    Browse the repository at this point in the history
  2. Revert "Disable troublesome PR build"

    This reverts commit b1686dc.
    riedgar-ms committed May 20, 2024
    Configuration menu
    Copy the full SHA
    36d3bb2 View commit details
    Browse the repository at this point in the history
  3. Undoing mayhem

    riedgar-ms committed May 20, 2024
    Configuration menu
    Copy the full SHA
    d9e2ee9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ec79dbd View commit details
    Browse the repository at this point in the history
  5. More reloads didn't help

    riedgar-ms committed May 20, 2024
    Configuration menu
    Copy the full SHA
    8052318 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    b9f7af8 View commit details
    Browse the repository at this point in the history