Code

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

Code

Merged

jeertmans merged 1 commit intomainjeertmans/DiffeRT:mainfrom update/pre-commit-hooksjeertmans/DiffeRT:update/pre-commit-hooksCopy head branch name to clipboardFeb 24, 2025

Commits

Commits on Feb 24, 2025

• chore(deps): update pre-commit hooks

  

  jeertmans

  authored and

  github-actions[bot]

  committed
  b9dd05d

  Copy full SHA for b9dd05d