clippy #377
philipp
commented 2024-04-15 23:27:25 +02:00
Owner
No description provided.
philipp
added 3 commits 2024-04-15 23:27:27 +02:00
Merge pull request 'staging' (#374) from staging into main
c8f614e2d2
All checks were successful
CI/CD Pipeline / test (push) Successful in 12m46s
Details
CI/CD Pipeline / deploy-staging (push) Has been skipped
Details
CI/CD Pipeline / deploy-main (push) Successful in 5m29s
Details
Merge pull request 'show steering person in logs if not cox' (#376) from show-steering-person-in-logs into main
151e1b7864
All checks were successful
CI/CD Pipeline / test (push) Successful in 12m41s
Details
CI/CD Pipeline / deploy-staging (push) Has been skipped
Details
CI/CD Pipeline / deploy-main (push) Successful in 5m32s
Details
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 5e19a62c7e into staging 2024-04-15 23:37:20 +02:00
philipp
referenced this issue from a commit 2024-04-15 23:37:21 +02:00
Merge pull request 'clippy' (#377) from clippy into staging
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?