Commit 7b57e94d authored by Michael Hanus 's avatar Michael Hanus

Example added

parent 9e84beb0
Pipeline #394 failed with stages