Code

chore: enable lint in CI#155

Code

Open

kim-em wants to merge 4 commits intomasterleanprover-community/aesop:masterfrom enable_lintleanprover-community/aesop:enable_lintCopy head branch name to clipboard

+1,444-6

Commits

Commits on Aug 22, 2024

• chore: cleanup some unused arguments

  kim-em

  committed
  cb2dc7c

  Copy full SHA for cb2dc7c

• chore: enable lint in CI

  kim-em

  committed
  585246c

  Copy full SHA for 585246c

• Merge remote-tracking branch 'origin/master' into enable_lint

  kim-em

  committed
  098f0f1

  Copy full SHA for 098f0f1

• update nolints

  kim-em

  committed
  d4c6961

  Copy full SHA for d4c6961