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

Run clippy on github #157

Closed
wants to merge 10 commits into from
Closed

Run clippy on github #157

wants to merge 10 commits into from

Commits on Nov 13, 2024

  1. Run clippy on github

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    68b5fef View commit details
    Browse the repository at this point in the history

  2. Tweak command line

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    1bd7174 View commit details
    Browse the repository at this point in the history

  3. Bump container version

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d8a27a4 View commit details
    Browse the repository at this point in the history

  4. Iterating

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    406d323 View commit details
    Browse the repository at this point in the history

  5. .

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f0d33b2 View commit details
    Browse the repository at this point in the history

  6. .

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9fcae7e View commit details
    Browse the repository at this point in the history

  7. This one?

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3d5cbe0 View commit details
    Browse the repository at this point in the history

  8. Deal with pgrx and dependencies

    @tjgreen42
    tjgreen42 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    121fa9f View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2024

  1. Merge branch 'main' into tj_clippy

    @tjgreen42
    tjgreen42 authored Nov 25, 2024
    Configuration menu
    Copy the full SHA
    48c09bf View commit details
    Browse the repository at this point in the history

  2. Steal from toolkit

    @tjgreen42
    tjgreen42 committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    3d371b7 View commit details
    Browse the repository at this point in the history