0
0
mirror of https://github.com/ankidroid/Anki-Android.git synced 2024-09-20 03:52:15 +02:00
Mike Hardy 2023-12-07 11:29:39 -05:00
parent fbcb50878a
commit 7b0daf35ab
3 changed files with 3 additions and 0 deletions

View File

@ -9,6 +9,7 @@ on:
type: string
pull_request:
push:
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}

View File

@ -9,6 +9,7 @@ on:
type: string
pull_request:
push:
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}

View File

@ -9,6 +9,7 @@ on:
type: string
pull_request:
push:
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}