Re-enable CI push trigger and prevent builds happening twice

[bravo-kernel]

Trigger CI build on either pull request or push as explained here:

This will prevent builds from happening twice when somebody opens a pull request against master and then pushes updates to their branch.