Don't trigger CI on push and pull_request event#591

jorisv merged 2 commits intostack-of-tasks:develstack-of-tasks/eigenpy:develfrom

jorisv:topic/ci-pull-pushjorisv/eigenpy:topic/ci-pull-pushCopy head branch name to clipboard