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

[Merged by Bors] - chore: adapt to multiple goal linter 1 #12338

Closed
wants to merge 10 commits into from
Closed

[Merged by Bors] - chore: adapt to multiple goal linter 1 #12338

wants to merge 10 commits into from

Commits on Apr 22, 2024

  1. chore: a batch of cdot usage

    @adomani
    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    80b39f4 View commit details
    Browse the repository at this point in the history

  2. remove import

    @adomani
    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    54ea495 View commit details
    Browse the repository at this point in the history

  3. another batch of cdot usage

    @adomani
    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    72f529a View commit details
    Browse the repository at this point in the history

  4. airplane batch

    @adomani
    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    12e2a5e View commit details
    Browse the repository at this point in the history

  5. more replacements

    @adomani
    adomani committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    7617048 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. reversals

    @adomani
    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    603322b View commit details
    Browse the repository at this point in the history

  2. 3 more

    @adomani
    adomani committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    68a02d1 View commit details
    Browse the repository at this point in the history

  3. Ruben's indentation 

    Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
    @adomani @Ruben-VandeVelde
    adomani and Ruben-VandeVelde committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    69469c8 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Merge remote-tracking branch 'origin/master' into adomani/use_cdots

    @adomani
    adomani committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    d6a2820 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Merge remote-tracking branch 'origin/master' into adomani/use_cdots

    @adomani
    adomani committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    8ec445a View commit details
    Browse the repository at this point in the history