New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cleanup: remove ECR resources #123

Merged

dduportal merged 1 commit into jenkins-infra:main from dduportal:helpdesk-4321-remove-ecr

Feb 9, 2025

Contributor

dduportal commented Feb 9, 2025 •

edited

Loading

Ref. jenkins-infra/helpdesk#4321 (comment)


          cleanup: remove ECR resources

9d62877

Signed-off-by: Damien Duportal <[email protected]>

dduportal marked this pull request as ready for review

February 9, 2025 16:11

Contributor Author

dduportal commented Feb 9, 2025

Plan: 0 to add, 0 to change, 10 to destroy. => LGTM

dduportal merged commit 623d82a into jenkins-infra:main

3 checks passed

dduportal deleted the helpdesk-4321-remove-ecr branch

February 9, 2025 16:12

dduportal mentioned this pull request

[ci.jenkins.io] Set up an ECR pull through cache jenkins-infra/helpdesk#4321

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet