linting #734
philipp
commented 2024-09-04 20:48:17 +02:00
Owner
No description provided.
philipp
added 1 commit 2024-09-04 20:48:19 +02:00
linting
9cbbe10e12
Some checks failed
CI/CD Pipeline / test (push) Has been cancelled
Details
CI/CD Pipeline / deploy-staging (push) Has been cancelled
Details
CI/CD Pipeline / deploy-main (push) Has been cancelled
Details
philipp
merged commit f116b97072 into main 2024-09-04 20:53:08 +02:00
philipp
deleted branch lint 2024-09-04 20:53:12 +02:00
philipp
referenced this issue from a commit 2024-09-04 20:53:13 +02:00
Merge pull request 'linting' (#734) from lint into main
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "lint"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?