clean w/ clippy #378
philipp
commented 2024-04-15 23:27:50 +02:00
Owner
No description provided.
philipp
added 1 commit 2024-04-15 23:27:52 +02:00
clean w/ clippy
2694829b6e
All checks were successful
CI/CD Pipeline / test (push) Successful in 12m52s
Details
CI/CD Pipeline / deploy-staging (push) Has been skipped
Details
CI/CD Pipeline / deploy-main (push) Has been skipped
Details
philipp
merged commit 95752703ff into main 2024-04-15 23:37:28 +02:00
philipp
deleted branch clippy 2024-04-15 23:37:29 +02:00
philipp
referenced this issue from a commit 2024-04-15 23:37:30 +02:00
Merge pull request 'clean w/ clippy' (#378) from clippy into main
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "clippy"
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?