Skip to content

Conversation

@dodo920306
Copy link
Contributor

Some files may be generated through development, and they shouldn't be included in the images

YoungHypo
YoungHypo previously approved these changes Jun 20, 2025
@dodo920306
Copy link
Contributor Author

Close as being included in #701.

@dodo920306 dodo920306 closed this Jun 25, 2025
@dodo920306 dodo920306 deleted the fix/exclude-redundant-files-from-docker-images branch June 25, 2025 03:41
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