Skip to content

Adding CI and Docker support

Jost Migenda requested to merge guiguem-ci-docker into master

Since this change is separate from the mPMT-related changes, let’s have this in its own PR.

Merge request reports