Skip to content

Merge docker-related changes

Philip ABBET requested to merge docker into master

Algorithms are now executed inside a dedicated docker container

Merge request reports