Skip to content

Merge docker-related changes

Philip ABBETrequested to merge
docker into master

Algorithms are now executed inside a dedicated docker container

Merge request reports