Separate `push` and `pull_request` triggers

[hugo-vrijswijk]

I want to define this trigger in my workflow:

on:
  push:
    branches:
      - main
  pull_request:
    types: [synchronize, opened, reopened]

Which will run a build on my main branch, and for any pull request activity. Currently a lot of PR's will have the same job running twice (for push and pull_request activity). Is there a way to define this in the GHA plugin?

[kubukoz]

I don't think there is. There should be, though.

Matter of fact, I think the plugin should be more flexible with triggers to support adding your own, such as merge queues etc.