Fixing ci for pull request
Merge pull request #2549 from sebv/master

Fix ci for pull request