run CI GHA on pull_request so that external contributors benefit from CI
#4374
| Job | Run time |
|---|---|
| 10m 52s | |
| 10m 52s |
pull_request so that external contributors benefit from CI
#4374
| Job | Run time |
|---|---|
| 10m 52s | |
| 10m 52s |