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
Collaborator

Update to the pre-commit action.

Update to the pre-commit action.
runner added 1 commit 2023-12-24 00:03:33 +01:00
Philipp merged commit 35f47d20d5 into main 2023-12-24 10:56:15 +01:00
Philipp deleted branch chore/update-pre-commit 2023-12-24 10:56:16 +01:00
Sign in to join this conversation.
No description provided.