-
Notifications
You must be signed in to change notification settings - Fork 560
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
Use lightweight base docker image #1304
base: main
Are you sure you want to change the base?
Conversation
Signed-off-by: Yu Ishikawa <[email protected]>
Signed-off-by: Yu Ishikawa <[email protected]>
PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here. PR Reviewer Guide 🔍Here are some key observations to aid the review process:
|
PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here. PR Code Suggestions ✨Explore these optional code suggestions:
|
User description
Overview
According to my research, it takes about 35 seconds to pull and build the docker image of pr-agent in GitHub Actions. I assume that we can speed up by using a base docker image which is lighter than
python:3.10
. My assumption is to speed up the GitHub Actions' step to prepare for pr-agent usingpython:3.10-slim
. If that works as expected, the elapsed time to run a GitHub Actions with pr-agent gets shorter.PR Type
enhancement
Description
python:3.10
topython:3.10-slim
to reduce the image size and potentially speed up the build process.ADD
withCOPY
for copying files, which is more efficient and clearer in this context.Changes walkthrough 📝
Dockerfile.github_action
Optimize Dockerfile with a lightweight base image and refactoring
Dockerfile.github_action
python:3.10
topython:3.10-slim
for a lighterbuild.
COPY
instead ofADD
for better clarity and efficiency.