Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
circleci: switch to using the new docker images
In order to improve build time for the case where the docker image is not cached on the current container we split the docker image into multiple smaller ones. Also, the images are now generated from the LKL docker hub organization (https://hub.docker.com/r/lkldocker/) and the docker files are stored in a separate gihub repo in the LKL github organization (https://github.com/lkl). Signed-off-by: Octavian Purdila <tavi@cs.pub.ro>
- Loading branch information