GithubActions: build master branch + pull requests

.github/workflows/continuous-integration.yml

@@ -3,6 +3,7 @@
 name: "Continuous Integration"
 
 on:
+  - "push"
   - "pull_request"
 
 env: