lint #733
philipp
commented 2024-09-04 20:48:10 +02:00
Owner
No description provided.
philipp
added 2 commits 2024-09-04 20:48:11 +02:00
Merge pull request 'aequatorpreis' (#730) from aequatorpreis into main
d6c6f8800e
All checks were successful
CI/CD Pipeline / test (push) Successful in 10m58s
Details
CI/CD Pipeline / deploy-staging (push) Has been skipped
Details
CI/CD Pipeline / deploy-main (push) Successful in 8m34s
Details
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 0eaf3aa92c into staging 2024-09-04 20:53:03 +02:00
philipp
referenced this issue from a commit 2024-09-04 20:53:07 +02:00
Merge pull request 'lint' (#733) from lint into staging
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?