Launch GitHub Actions CI also on PR

davidbrochart · davidbrochart · commit 55957d4c6d3d · 2020-05-29T14:08:00.000+02:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,6 +1,10 @@
 name: CI
 
-on: push
+on:
+  push:
+    branches: '*'
+  pull_request:
+    branches: '*'
 
 jobs:
   build-n-test-n-coverage:
