run CI GHA on pull_request so that external contributors benefit from CI
#4377
The logs for this run have expired and are no longer available.
Loading