Simply run docker run -it --rm ghcr.io/ardoco/replication-package-icsa23 to get a container with installed dependencies and this repository (copied to /eval within ...