Merge branch 'main' into release/3.15.x

This commit is contained in:
Jakub Jezek 2022-11-10 18:03:31 +01:00
commit 85e5741385
No known key found for this signature in database
GPG key ID: 730D7C02726179A7
24 changed files with 279 additions and 223 deletions

View file

@ -2,7 +2,7 @@ name: Milestone - assign to PRs
on:
pull_request_target:
types: [opened, reopened, edited, synchronize]
types: [closed]
jobs:
run_if_release: