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] - feat: the multiGoal linter #12339

Closed
wants to merge 109 commits into from
Closed

[Merged by Bors] - feat: the multiGoal linter #12339

wants to merge 109 commits into from

Commits on Apr 22, 2024

  1. feat: the multiGoal linter

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

  2. import at bottom and imports

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

Commits on Apr 23, 2024

  1. more exclude/ignore

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

  2. ignore conv_lhs/rhs

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

  3. add test file

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

  4. linterate

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

  5. repeat'

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

  6. case'

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

  7. Unlint assumption' and focus.

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

  8. docs

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

  9. Add todo

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

  10. Do not import at the bottom of the hyerarchy

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

  11. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

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

  12. only lint, Mathlib, its libraries and the linter's own test file

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

Commits on May 11, 2024

  1. Merge branch 'master' into adomani/lint_multiple_goals

    @adomani
    adomani committed May 11, 2024
    Configuration menu
    Copy the full SHA
    59042a7 View commit details
    Browse the repository at this point in the history

  2. Std --> Batteries and adaptation_note

    @adomani
    adomani committed May 11, 2024
    Configuration menu
    Copy the full SHA
    93e1ddf View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed May 11, 2024
    Configuration menu
    Copy the full SHA
    d912f74 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

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

    …le_goals
    @adomani
    adomani committed May 13, 2024
    Configuration menu
    Copy the full SHA
    ffc6b69 View commit details
    Browse the repository at this point in the history

  2. fix test messages, but tests are still noisy

    @adomani
    adomani committed May 13, 2024
    Configuration menu
    Copy the full SHA
    962c67d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into adomani/lint_multiple_goals

    @adomani
    adomani committed May 13, 2024
    Configuration menu
    Copy the full SHA
    cba8899 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. import early and shake

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    080b0c0 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    75a0e92 View commit details
    Browse the repository at this point in the history

  3. unlint two files

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    ce9a338 View commit details
    Browse the repository at this point in the history

  4. more mathlib fixes

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    1b55583 View commit details
    Browse the repository at this point in the history

  5. one more cdot

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    cfe902d View commit details
    Browse the repository at this point in the history

  6. silence Archive

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    1b9d82e View commit details
    Browse the repository at this point in the history

  7. silence tests!

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    1a25287 View commit details
    Browse the repository at this point in the history

  8. chore: more cdots

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    f16f928 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'adomani/use_cdot_7' into adomani/lint_multiple_goals

    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    17ba5da View commit details
    Browse the repository at this point in the history

  10. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed May 14, 2024
    Configuration menu
    Copy the full SHA
    06b9532 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

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

    …le_goals
    @adomani
    adomani committed May 20, 2024
    Configuration menu
    Copy the full SHA
    3d992a3 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. two more files

    @adomani
    adomani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    c0caa4d View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed May 24, 2024
    Configuration menu
    Copy the full SHA
    2ecd134 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

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

    …le_goals
    @adomani
    adomani committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    7517f38 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Merge branch 'master' into adomani/lint_multiple_goals

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    77235bb View commit details
    Browse the repository at this point in the history

  2. Move to Tactic/Linter

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    5f42b76 View commit details
    Browse the repository at this point in the history

  3. Rename test to Multigoal.lean

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    732c040 View commit details
    Browse the repository at this point in the history

  4. Last fix; one proof is rather tricky.

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ece35d7 View commit details
    Browse the repository at this point in the history

  5. Further fixes.

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    4226f06 View commit details
    Browse the repository at this point in the history

  6. Fix noshake file

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    90aefb0 View commit details
    Browse the repository at this point in the history

  7. Tweak test: add no-op; consolidate and document the guard_msg bug.

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    4de1d51 View commit details
    Browse the repository at this point in the history

  8. Tweak documentation, reorder list of allowed tactics.

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    33d5ee1 View commit details
    Browse the repository at this point in the history

  9. Add another test.

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    b92fc1e View commit details
    Browse the repository at this point in the history

  10. Rename variables for clarity.

    @grunweg
    grunweg committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ca0ae70 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Merge branch 'master' into adomani/lint_multiple_goals

    @grunweg
    grunweg committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    130941f View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2024

  1. Fix recent violations.

    @grunweg
    grunweg committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    05d6947 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into adomani/lint_multiple_goals

    @grunweg
    grunweg committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    16d319e View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. chore: fix violations in BinaryEntropy

    @grunweg
    grunweg committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    18a70d9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into adomani/lint_multiple_goals

    @grunweg
    grunweg committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    beb1374 View commit details
    Browse the repository at this point in the history

  3. Flag current violations.

    @grunweg
    grunweg committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    16d7500 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. chore: move option to linter.style.multiGoal

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    369da82 View commit details
    Browse the repository at this point in the history

  2. Inline getLinterHash; disable by default (but enable in mathlib).

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    11a3ebe View commit details
    Browse the repository at this point in the history

  3. Fix test

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    3811f56 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into adomani/lint_multiple_goals

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    7cf0b72 View commit details
    Browse the repository at this point in the history

  5. chore: also import in Mathlib.Init

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    70b9a7f View commit details
    Browse the repository at this point in the history

  6. Fix typo, oops

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    9327f61 View commit details
    Browse the repository at this point in the history

  7. chore: use HashSet.ofList instead of manually inserting often 

    And switch to Std.HashSet.
    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    c0c117a View commit details
    Browse the repository at this point in the history

  8. chore: remove obsolete code, left over from a previous version

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ca1ede0 View commit details
    Browse the repository at this point in the history

  9. Some fixes for the multi-goal linter: not complete.

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    5e8896b View commit details
    Browse the repository at this point in the history

  10. Fix the last warnings/silence the linter.

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    2943eef View commit details
    Browse the repository at this point in the history

  11. Merge branch 'master' into adomani/lint_multiple_goals

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    a53f763 View commit details
    Browse the repository at this point in the history

  12. Remove import from Tactic.Basic, and noshake change.

    @grunweg
    grunweg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    44b65ce View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Don't lint on sleepHeartbeats either. 

    And remove a superfluous import, to make shake happy.
    @grunweg
    grunweg committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f894176 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Merge branch 'master' into adomani/lint_multiple_goals

    @adomani
    adomani authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    586382b View commit details
    Browse the repository at this point in the history

  2. more dots

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    e13dcbe View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    cf2f11e View commit details
    Browse the repository at this point in the history

  4. remove set_options

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    a929633 View commit details
    Browse the repository at this point in the history

  5. chore: prepare for multi-goal linter

    @adomani
    adomani committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    9fab516 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

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

    …le_goals
    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    1def34b View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/multi_goal_… 

    …indents4
    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    bfef0a9 View commit details
    Browse the repository at this point in the history

  3. chore: add a focusing dot

    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    f7a8f88 View commit details
    Browse the repository at this point in the history

  4. Laurent

    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    1f13179 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'adomani/add_a_focusing_dot' into adomani/lint_multiple_… 

    …goals
    @adomani
    adomani committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    801bd98 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

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

    …le_goals
    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    4a6adaa View commit details
    Browse the repository at this point in the history

  2. Kim' suggestions

    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    bfa207e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'adomani/multi_goal_indents4' into adomani/lint_multiple… 

    …_goals
    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    47e3889 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into adomani/lint_multiple_goals

    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    a07749b View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    1240d41 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'adomani/lint_multiple_goals' of github.com:leanprover-c… 

    …ommunity/mathlib4 into adomani/lint_multiple_goals
    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d82b7a7 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    574aac0 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

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

    …le_goals
    @adomani
    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    ce49d09 View commit details
    Browse the repository at this point in the history

  2. remove the unexpected todo

    @adomani
    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    58f7936 View commit details
    Browse the repository at this point in the history

  3. two cdots

    @adomani
    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2634afb View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    f4e1bc9 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    44bf842 View commit details
    Browse the repository at this point in the history

  6. another cdot

    @adomani
    adomani committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    b2fd434 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Merge branch 'master' into adomani/lint_multiple_goals

    @adomani
    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    068780b View commit details
    Browse the repository at this point in the history

  2. two more cdots

    @adomani
    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    598d773 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    02fe311 View commit details
    Browse the repository at this point in the history

  4. another cdot

    @adomani
    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    1b34cd8 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    4df8d9b View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. cdot

    @adomani
    adomani committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    eadeffd View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    31e8639 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Merge branch 'master' into adomani/lint_multiple_goals

    @adomani
    adomani committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    437e3b2 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

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

    …le_goals
    @adomani
    adomani committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    28a1344 View commit details
    Browse the repository at this point in the history

  2. one cdot

    @adomani
    adomani committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    4932699 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

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

    …le_goals
    @adomani
    adomani committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    67a79f8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adomani/lint_multiple_goals' of github.com:leanprover-c… 

    …ommunity/mathlib4 into adomani/lint_multiple_goals
    @adomani
    adomani committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    7717ed0 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. chore: more fixes for multigoal linter

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    0883c70 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adomani/multi_goal_fixes' into adomani/lint_multiple_goals

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    88cb49d View commit details
    Browse the repository at this point in the history

  3. improve docs

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    48de0f7 View commit details
    Browse the repository at this point in the history

  4. Adjust error message

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    653155a View commit details
    Browse the repository at this point in the history

  5. another fix

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    45a2a7c View commit details
    Browse the repository at this point in the history

  6. Merge branch 'adomani/multi_goal_fixes' into adomani/lint_multiple_goals

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    78c6e27 View commit details
    Browse the repository at this point in the history

  7. one more

    @adomani
    adomani committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    37e059f View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. adaptations to review comments

    @adomani
    adomani committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    1ab13f9 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/lint_multip… 

    …le_goals
    @adomani
    adomani committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    18e9f5b View commit details
    Browse the repository at this point in the history

  3. Update lakefile.lean 

    Co-authored-by: grunweg <[email protected]>
    @adomani @grunweg
    adomani and grunweg authored Oct 21, 2024
    Configuration menu
    Copy the full SHA
    dd46de6 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'adomani/lint_multiple_goals' of github.com:leanprover-c… 

    …ommunity/mathlib4 into adomani/lint_multiple_goals
    @adomani
    adomani committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    3e9d3e2 View commit details
    Browse the repository at this point in the history