Code

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

Code

Merged

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

+1-1

Commits

Commits on May 6, 2024

• chore(deps): update pre-commit hooks

  

  jeertmans

  authored and

  github-actions[bot]

  committed
  ae745b3

  Copy full SHA for ae745b3