Skip to content

Commits on Oct 5, 2018

Commits on Sep 28, 2018

  1. Fix error detection in Jenkinsfile

    ...and added cleanup step as well
    mederly committed Sep 28, 2018

Commits on Sep 27, 2018

  1. Adapt directory structure to docker/util

    The container is now built directly from the root directory.
    Even the simplest composition was moved to demo/plain.
    mederly committed Sep 27, 2018
You can’t perform that action at this time.