Run github action after PR merged (pingcap#591)

Signed-off-by: Lonng <[email protected]> Co-authored-by: ti-srebot <[email protected]>
aylen · Jul 9, 2020 · a3998ff · a3998ff
1 parent 5b1588c
commit a3998ff
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -7,6 +7,10 @@ on:
     branches:
       - master
       - release-*
+  push:
+    branches:
+      - master
+      - release-*
 
 jobs:
 

diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml
@@ -7,7 +7,10 @@ on:
     branches:
       - master
       - release-*
-
+  push:
+    branches:
+      - master
+      - release-*
 
 jobs:
 

diff --git a/.github/workflows/reprotest.yaml b/.github/workflows/reprotest.yaml
@@ -9,6 +9,10 @@ on:
     branches:
       - master
       - release-*
+  push:
+    branches:
+      - master
+      - release-*
 
 jobs:
   reprotest: