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

Merged
Philipp merged 1 commits from chore/update-pre-commit into main 2023-12-12 16:25:04 +01:00
Collaborator

Update to the pre-commit action.

Update to the pre-commit action.
runner added 1 commit 2023-12-12 16:24:23 +01:00
Philipp merged commit 519e6ab88d into main 2023-12-12 16:25:04 +01:00
Philipp deleted branch chore/update-pre-commit 2023-12-12 16:25:04 +01:00
Sign in to join this conversation.
No description provided.