Skip to content
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.

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

⬆️ Update Pulumi Docker images #1929

Merged
merged 1 commit into from
Jun 6, 2024
Merged

Conversation

github-actions[bot]
Copy link

@github-actions github-actions bot commented Jun 5, 2024

⚠️ In order for CI to run on this PR it needs to be manually closed and re-opened ⚠️

⤴️ Summary

  • Update Docker image versions from 80012f5 on 2024-06-05

🌂 Related issues

None

🔬 Tests

Package versions only

@jemrobinson
Copy link
Member

@craddm did you fix this or did it fix itself after I tagged squid-deb-proxy?

@craddm
Copy link
Contributor

craddm commented Jun 6, 2024

I just triggered it, it fixed itself

@jemrobinson jemrobinson closed this Jun 6, 2024
@jemrobinson jemrobinson reopened this Jun 6, 2024
Copy link
Author

github-actions bot commented Jun 6, 2024

Coverage report

This PR does not seem to contain any modification to coverable code.

Copy link
Member

@jemrobinson jemrobinson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jemrobinson jemrobinson merged commit b08ce30 into develop Jun 6, 2024
11 checks passed
@jemrobinson jemrobinson deleted the update-docker-images branch June 6, 2024 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants