- Clone public or private git, svn, or other repository into external directory.
- Build locally, use ADD or COPY commands to get products and sources (at least the headers) into Docker image
- If some products change often, consider checking them into repository, so they get checked out on top of Docker image.
- If you must change the cloned repo and don't have access rights to push up a branch, fork it and go back to 1.
- Clone, check out, merge or rebase inside the docker only if you cannot build the repo outside the docker.
- Prefer a chain of docker images over (3) -- copy, build, push in Docker A, retrieve outside docker, copy into Docker B.
circleci-agent step haltyields successcircleci-agent step faildoes not exist- Looking for way to make use
https://circleci.com/api/v1.1/project/github/to cancel a running job, not fail it. - Looking for more triggers to skip a job, rather than fail or cancel it.