Skip to content

Latest commit

 

History

History

.circleci

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Dockerfile
Dockerfile
 
 
README.md
README.md
 
 
config.yml
config.yml
 
 
deploy-docs.sh
deploy-docs.sh
 
 

README.md

docker image used for Circle CI

In order to cut down on the run time of circle CI, a custom docker image is used. It is based on Ubuntu 18.04, with rascal specific dependencies installed. See the [Dockerfile] for more information.

Updating the image

  1. make your changes to the Dockerfile
  2. build the image locally
cd .circleci
docker build -t rascal-ci .
  1. tag the image (replace with the right value) and upload to docker hub
docker tag rascal-ci cosmoepfl/rascal-ci:<VERSION>
docker push cosmoepfl/rascal-ci:<VERSION>