Browse Source

pioneer github workflow on pr and push

Mokhtar Naamani 4 years ago
parent
commit
a6b2d867b4
1 changed files with 1 additions and 1 deletions
  1. 1 1
      .github/workflows/pioneer-pr.yml

+ 1 - 1
.github/workflows/pioneer-pr.yml

@@ -1,5 +1,5 @@
 name: Pioneer-PR
-on: [pull_request]
+on: [pull_request, push]
 
 jobs:
   pioneer_build_code: