Merge pull request #256 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Sep 2017 16:20:03 +0000 (18:20 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2017 16:20:03 +0000 (18:20 +0200)
commit1b3a002f8fd7cdaa860c24622e5ec6b3629b545a
treee94801f4167385093c51cd3309426f60479558d3
parentf8256ce8bf75d088cfe0c7792d4e289c553c21e3
parent210082583fe9d5e859e9bc30d073c7bd7d514aac
Merge pull request #256 from mpeuster/master

Migrating emulator CI setup to Jenkins pipeline