Skip to content

chore(deps): docker dependency upgrade#134

Open
github-actions[bot] wants to merge 1 commit into
latestfrom
docker-dependency-updates
Open

chore(deps): docker dependency upgrade#134
github-actions[bot] wants to merge 1 commit into
latestfrom
docker-dependency-updates

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

Summary

Updates Dockerfile dependency pins using a no-pin apt probe and Copilot CLI.

Evidence

  • Probe report artifact: docker-dependency-report.json
  • Copilot session artifact: copilot-docker-dependency-session.md
  • Build validation: handled by the repository Docker/CI workflows

Diff

diff --git a/Dockerfile b/Dockerfile
index e9c4266..2e41b1c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -53,7 +53,7 @@ RUN apt-get update && \
     jq=1.8.1-3ubuntu1.1 \
     zip=3.0-15ubuntu2 \
     unzip=6.0-28ubuntu7 \
-    nano=8.4-1 \
+    nano=8.4-1ubuntu0.1 \
     vim=2:9.1.0967-1ubuntu6.5 \
     python3.13=3.13.7-1ubuntu0.4 \
     python3.13-venv=3.13.7-1ubuntu0.4 \

Copilot AI review requested due to automatic review settings June 5, 2026 16:12
@github-actions github-actions Bot enabled auto-merge (squash) June 5, 2026 16:12

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

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