Deployment

Developer or User?

This section is part of the instrutions for programmers interested in REEV. If you want to use REEV, the best place is to start at Quickstart.

We deploy with Docker images. These are built automatically via GitHub CI and publisheed to the GitHub Container Registry (ghcr.io).

To build the images locally, run:

$ bash utils/docker/build-docker.sh

If you look at the build-docker.sh file then you will notice that you can pass additional parameters. A useful one is --no-cache that will disable the Docker build cache.

$ bash utils/docker/build-docker.sh --no-cache

You can run the Docker image on port 8080 as follows (make sure that you replace 0.0.0 with the version built previously):

$ docker run --name reev --rm -p 8080:8080 ghcr.io/bihealth/reev:0.0.0

To attach to the container and look around:

$ docker run -it reev bash -i