CI: fix trigger on default branch
In 1.5.1 I tried a lot of things with the CI and accidentally removed the trigger on master commits.
This should fix it. And now, not as in 1.5.0, we should not observe double pipeline execution on merge commits in master (at least I hope so).
Edited by Cresson Remi