Removed maintance on push + added lint. #32

Merged
Philipp merged 2 commits from no-update into main 2024-05-21 03:04:32 +02:00
Owner
No description provided.
Philipp added the
chore
label 2024-05-21 02:58:29 +02:00
Philipp self-assigned this 2024-05-21 02:58:29 +02:00
Philipp added 1 commit 2024-05-21 02:58:29 +02:00
Removed maintance on push + added lint.
All checks were successful
Lint / pre-commit Autoupdate (push) Successful in 22s
5a12e52937
Philipp added 1 commit 2024-05-21 03:01:35 +02:00
Renamed the actions.
All checks were successful
Lint / pre-commit Autoupdate (push) Successful in 22s
a1b76ee28e
Philipp merged commit e6d9991e14 into main 2024-05-21 03:04:32 +02:00
Philipp deleted branch no-update 2024-05-21 03:04:32 +02:00
Sign in to join this conversation.
No description provided.