mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2024-12-27 06:03:51 +03:00
chore(ci): set the milestone when a pull request is closed (take 4)
The milestone can only be determined to be final when a pull request is merged. It is possible that a pull request is opened during the development of v10 and merged after it is published. It is also possible that it is permanently closed without being merged.
This commit is contained in:
parent
5cb542e0d9
commit
6f53f7d007
1 changed files with 2 additions and 2 deletions
|
@ -6,11 +6,11 @@ name: milestone
|
||||||
on:
|
on:
|
||||||
pull_request_target:
|
pull_request_target:
|
||||||
types:
|
types:
|
||||||
- opened
|
- closed
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
set:
|
set:
|
||||||
if: vars.ROLE == 'forgejo-coding'
|
if: vars.ROLE == 'forgejo-coding' && github.event.pull_request.merged
|
||||||
runs-on: docker
|
runs-on: docker
|
||||||
container:
|
container:
|
||||||
image: 'code.forgejo.org/oci/ci:1'
|
image: 'code.forgejo.org/oci/ci:1'
|
||||||
|
|
Loading…
Reference in a new issue