Commit 17b6c3ec authored by Michael Hanus 's avatar Michael Hanus

Example updated

parents bf139eea da1e4a76
Pipeline #373 failed with stages