Updates to the pre-commit action created at 2023-12-23 #26

Merged
Philipp merged 1 commits from chore/update-pre-commit into main 2023-12-24 10:56:15 +01:00

1 Commits

Author SHA1 Message Date
Philipp 8ccaa315fc chore: update pre-commit hooks 2023-12-23 23:03:16 +00:00