Updates to the pre-commit action created at 2023-11-19 #15

Merged
Philipp merged 1 commits from update/pre-commit-hooks into main 2023-11-19 23:23:17 +01:00
Owner

Update to the pre-commit action.

Update to the pre-commit action.
Philipp self-assigned this 2023-11-19 23:22:23 +01:00
Philipp added 1 commit 2023-11-19 23:22:26 +01:00
Philipp merged commit c15c9d50d4 into main 2023-11-19 23:23:17 +01:00
Philipp deleted branch update/pre-commit-hooks 2023-11-19 23:23:18 +01:00
Sign in to join this conversation.
No description provided.