Skip to content
GitLab

Experience environment improvement

Samuel GAIST requested to merge 185_experience_environment_improvement into master

Summary

This merge request implements selection of the execution environment and queues for experiments.

The main feature is that it proposes both the remote and local docker environment to choose from so that a user doesn't have to edit by hand to match what he needs.

Part of #185 (closed)

Merge request reports