Skip to content

Fix: Push Docker image only on non-PR events#11

Merged
zouxianyu merged 3 commits into
zouxianyu:masterfrom
smallzhong:master
Oct 27, 2025
Merged

Fix: Push Docker image only on non-PR events#11
zouxianyu merged 3 commits into
zouxianyu:masterfrom
smallzhong:master

Conversation

@smallzhong
Copy link
Copy Markdown
Contributor

Update the build_server workflow to push the Docker image only if the event is not a pull request. This prevents images from being pushed during pull request builds.

smallzhong and others added 3 commits October 27, 2025 14:57
Update the build_server workflow to push the Docker image only if the event is not a pull request. This prevents images from being pushed during pull request builds.
The Docker Hub login step now only runs if the event is not a pull request, preventing unnecessary login attempts during pull request builds.
Remove references to secrets to ensure the build process runs correctly in pull requests.
@zouxianyu zouxianyu merged commit df17366 into zouxianyu:master Oct 27, 2025
5 checks passed
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