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

Fix main and update things #141

Merged
merged 5 commits into from
May 9, 2024
Merged

Fix main and update things #141

merged 5 commits into from
May 9, 2024

Commits on May 6, 2024

  1. Update CI

    ZacSweers committed May 6, 2024
    Configuration menu
    Copy the full SHA
    5615774 View commit details
    Browse the repository at this point in the history
  2. Update deps and reformat

    ZacSweers committed May 6, 2024
    Configuration menu
    Copy the full SHA
    8760644 View commit details
    Browse the repository at this point in the history
  3. Update CI args

    ZacSweers committed May 6, 2024
    Configuration menu
    Copy the full SHA
    97a8526 View commit details
    Browse the repository at this point in the history
  4. More CI updates

    ZacSweers committed May 6, 2024
    Configuration menu
    Copy the full SHA
    f6d3b93 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. Try updating to fix main more (#142)

    * Update to fix main
    
    * Update toolchain for libraries to 21
    alexvanyo committed May 9, 2024
    Configuration menu
    Copy the full SHA
    1550a19 View commit details
    Browse the repository at this point in the history