github_actions: enable build on pull-requests to develop branch

mbrossard · mbrossard · commit 27037b1e1661 · 2021-10-22T21:37:02.000-05:00
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -3,6 +3,9 @@ on:
   push:
     branches:
       - develop
+  pull_request:
+    branches:
+      - develop
   workflow_dispatch:
 
 jobs:
