run CI on both pushes and pull-requests

so that it was possible to assess the build status for external
     contributors

.github/workflows/ci.yml

@@ -1,4 +1,6 @@
-on: push
+on:
+  push:
+  pull_request:
 jobs:
     build:
         runs-on: ubuntu-latest