Fix duplicate CI runners (#292)

.github/workflows/ci.yaml

@@ -1,8 +1,9 @@
 name: CI
 
 on:
-  - push
-  - pull_request
+  pull_request:
+  push:
+    branches: [master]
 
 jobs:
   coverage: