Skip to content

Pin docker image versions#51

Merged
jeremyestein merged 1 commit intodevfrom
jeremy/pin-images
Feb 5, 2026
Merged

Pin docker image versions#51
jeremyestein merged 1 commit intodevfrom
jeremy/pin-images

Conversation

@jeremyestein
Copy link
Collaborator

As well as the repeatability benefit, this allows docker builds to happen offline.

Copy link
Collaborator

@thompson318 thompson318 left a comment

Choose a reason for hiding this comment

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

Very sensible.

@jeremyestein jeremyestein merged commit e7e7c66 into dev Feb 5, 2026
2 checks passed
@jeremyestein jeremyestein deleted the jeremy/pin-images branch February 5, 2026 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants