no ci on main

Author: carderne

.github/workflows/pr.yml

@@ -3,8 +3,6 @@ name: pr
 on:
   pull_request:
     types: [opened, reopened, synchronize]
-  push:
-    branches: [main]
 
 concurrency:
   group: pr-${{ github.event.number }}