Making sure CI runs on push on master

moufmouf · moufmouf · commit 3542ff9662ff · 2020-08-05T22:55:35.000+02:00
This is needed by codecov, otherwise, we can't have a code coverage comparison.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -2,6 +2,9 @@ name: "Continuous Integration"
 
 on:
   pull_request:
+  push:
+    branches:
+      - master
 
 jobs:
   coding-standards:
