close cascading PR if the origin PR is closed

This commit is contained in:
Earl Warren 2023-10-13 19:10:50 +02:00
parent dd3807fb41
commit 657e223acc
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00
3 changed files with 113 additions and 27 deletions

View file

@ -1,6 +1,11 @@
# SPDX-License-Identifier: MIT
name: test
on: [pull_request]
on:
pull_request:
types:
- opened
- synchronize
- closed
jobs:
test:
runs-on: docker