Merge branch 'main' into develop

This commit is contained in:
Jakub Jezek 2022-11-10 17:58:29 +01:00
commit 35a6badc21
No known key found for this signature in database
GPG key ID: 730D7C02726179A7

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: