mirror/Anki-Android
0
0
Fork 0
mirror of https://github.com/ankidroid/Anki-Android.git synced 2024-09-20 03:52:15 +02:00
Code

fix milestone pr

Browse Source
This commit is contained in:
krmanik 2022-04-08 02:56:17 +08:00 committed by Mike Hardy
parent 2442fe57a1
commit 908884f198
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/milestone.yml vendored
View File

@ -1,13 +1,17 @@
name: PR Milestone
on:
pull_request:
pull_request_target:
types: [ closed ]
jobs:
milestone:
if: ${{ github.event.pull_request.merged == true && github.event.pull_request.milestone == null }}
runs-on: ubuntu-latest
permissions:
contents: read
issues: write
pull-requests: write
steps:
- uses: actions/checkout@v2
- name: Add to milestone