Merge pull request #109 from dotnet/mergeGroup

Add merge_group trigger to Github workflow
dotnet · Oct 18, 2023 · aff3844 · aff3844
2 parents 81a5a98 + 24c4a0c
commit aff3844
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/checkin.yml b/.github/workflows/checkin.yml
@@ -1,6 +1,7 @@
 name: CI/PR
 on:
  pull_request:
+ merge_group:
  push:
  branches:
  - master