Github CI Fix
This adds another trigger for github CI checks during a pull request: synchronize
is triggered at a new commit in a pull request.
See table of actions here
This adds another trigger for github CI checks during a pull request: synchronize
is triggered at a new commit in a pull request.
See table of actions here