Code

Update and run pre-commit on CI#21

Code

Merged

pradyunsg merged 3 commits intopradyunsg:mainpradyunsg/furo:mainfrom hugovk:update-pre-commithugovk/furo:update-pre-commitCopy head branch name to clipboardOct 15, 2020

+29-13

Commits

Commits on Oct 15, 2020

• Lint files with pre-commit on GitHub Actions

  hugovk

  committed
  0fd4bd9

• Update and run pre-commit

  hugovk

  committed
  0212922

• Use pre-commit/action

  hugovk

  committed
  a379c2f