Closing a pull request should abort all associated builds

Description of the feature request

When a PR is closed, abort all associated builds.

Use case / for what or how I would use it

Closing a PR indicates that it is unwanted. Therefore, associated builds are unnecessary. This change would free resources to expedite other builds.