fix jenkins
Merge pull request #17 from thomaroger/troger-feat-leaderboard-playground-334-2

fix jenkins