Code

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

Code

Merged

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

+1-1

Commits

Commits on Jul 29, 2024

• chore(deps): update pre-commit hooks

  

  jeertmans

  authored and

  github-actions[bot]

  committed
  90daf24

  Copy full SHA for 90daf24