Code

chore(deps): update pre-commit hooks#123

Code

Merged

jeertmans merged 1 commit intomainjeertmans/DiffeRT:mainfrom update/pre-commit-hooksjeertmans/DiffeRT:update/pre-commit-hooksCopy head branch name to clipboardSep 30, 2024

+2-2

Commits

Commits on Sep 30, 2024

• chore(deps): update pre-commit hooks

  

  jeertmans

  authored and

  github-actions[bot]

  committed
  c82516d

  Copy full SHA for c82516d