Skip to content
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

Skip generation of docker image when changes made to only ci and .github directories #543

Open
ar13pit opened this issue Jan 5, 2021 · 1 comment
Assignees

Comments

@ar13pit
Copy link
Contributor

ar13pit commented Jan 5, 2021

The logic can be taken from packages.sh script and added to build-docker-image.sh script

@ar13pit ar13pit self-assigned this Jan 5, 2021
@MatthijsBurgh
Copy link
Member

The CI folder contains ssh-merge-known_host.py which is used in install-package.sh. So that one eliminated the CI folder or the script should be moved.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants