only one CI run (#342)

Author: severo

.github/workflows/ci.yml

@@ -1,33 +1,34 @@
 name: CI
 on:
-  push:
   pull_request:
+  push:
+    branches:
+      - master
 jobs:
   lint:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - run: npm i
       - run: npm run lint
-  
+
   typecheck:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - run: npm i
       - run: npm run typecheck
-  
+
   test:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - run: npm i
       - run: npm run coverage
-  
+
   buildcheck:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - run: npm i
       - run: npm run build
-