changed github workflows

bessagroup · Oct 28, 2023 · 452c53b · 452c53b
1 parent dc6664e
commit 452c53b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/pr_to_pr.yml b/.github/workflows/pr_to_pr.yml
@@ -1,9 +1,12 @@
-name: Pull request to pr/** branches
+name: Pull request and push to pr/** branches
 
 on:
  pull_request:
  branches:
  - "pr/**"
+ push:
+ branches:
+ - "pr/**"
 
 jobs:
  check-coding-style: