Skip to content

Docker

Moritz Schott requested to merge docker into main

Implement a convenience method to start a dockerised back-end, import necessary data and run the tool. The user is not forced to use the provided backend but can use her own. The data import is optional and can either provide a full setup or some small example. The tool can either be run with a custom configuration or a small example or with a standardised benchmark.

Edited by Moritz Schott

Merge request reports