Add develop branch to pull_request event

Bassem Dghaidi · Bassem Dghaidi · commit e53ed81ae738 · 2020-05-24T17:32:04.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -7,7 +7,7 @@ on:
   push:
     branches: [ master, develop ]
   pull_request:
-    branches: [ master ]
+    branches: [ master, develop ]
 
 jobs:
 
