-
Notifications
You must be signed in to change notification settings - Fork 4
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
Fix update install scripts #600
Conversation
I have added the docker build as a check here to see if it is reasonable to build it every time a commit is made in a PR towards dev. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Approved by me, but I think someone with more experience with Docker than me should also approve before merging!
@@ -3,6 +3,8 @@ name: Docker Image CI | |||
on: | |||
push: | |||
branches: [ "dev*" ] | |||
pull_request: | |||
branches: [ "dev" ] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should we add the master
branch here too?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good idea to consolidate the installation into one place (setup_atos.sh) instead of having it both in scripts and in dockerfile!
This PR uses the install scripts inside the Dockerfile which both deletes repeated code and creates a quick way of validating the install scripts since they now will be executed every time the docker image is build.
It also splits the install script into two to make use of the Docker image layer caching.
A new user entry point script is created in the root folder called setup_atos.sh