Code

feat: the trailingWhitespace linter#920

Code

Open

adomani wants to merge 7 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom adomani:adomani/lint_trailingWhitespaceadomani/adomani_batteries:adomani/lint_trailingWhitespaceCopy head branch name to clipboard

+68

Commits

Commits on Aug 16, 2024

• feat: the trailingWhitespace linter

  adomani

  committed
  234e24b

  Copy full SHA for 234e24b

• lint

  adomani

  committed
  ec18d1b

  Copy full SHA for ec18d1b

• add test file

  adomani

  committed
  d2931f9

  Copy full SHA for d2931f9

Commits on Oct 1, 2024

• chore: merge main and trigger Mathlib check

  fgdorais

  committed
  a842b68

  Copy full SHA for a842b68

Commits on Oct 2, 2024

• Update Batteries/Linter/TrailingWhitespace.lean

  adomani

  authored
  452d37b

  Copy full SHA for 452d37b

Commits on Oct 5, 2024

• Merge branch 'main' into adomani/lint_trailingWhitespace

  adomani

  authored
  c3ca5b3

  Copy full SHA for c3ca5b3

Commits on Oct 9, 2024

• Merge branch 'main' into adomani/lint_trailingWhitespace

  adomani

  authored
  0e618fd

  Copy full SHA for 0e618fd