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

[CHORE] drop unused deps and add machete CI check #2520

Merged
merged 7 commits into from
Jul 17, 2024

Commits on Jul 16, 2024

  1. drop unused deps

    samster25 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    16864a3 View commit details
    Browse the repository at this point in the history
  2. add ci step

    samster25 committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    35aac66 View commit details
    Browse the repository at this point in the history
  3. try manual run

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

Commits on Jul 17, 2024

  1. add stable

    samster25 committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    f7a8b2f View commit details
    Browse the repository at this point in the history
  2. add stable

    samster25 committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    0fb7053 View commit details
    Browse the repository at this point in the history
  3. test dep

    samster25 committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    a8cfc88 View commit details
    Browse the repository at this point in the history
  4. Revert "test dep"

    This reverts commit a8cfc88.
    samster25 committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    5c24622 View commit details
    Browse the repository at this point in the history