Skip to content
GitLab

Merge docker-related changes

Merged Philip ABBET requested to merge docker into master

Algorithms are now executed inside a dedicated docker container

Merge request reports