ci-dev: add PR trigger, gate publish on push (post-merge only)

.gitea/workflows/ci-dev.yaml

@@ -4,6 +4,9 @@ on:
   push:
     branches:
       - dev
+  pull_request:
+    branches:
+      - dev
 
 jobs:
   build-and-test:
@@ -167,7 +170,9 @@ jobs:
             -lcurl -lpthread -lm -o /tmp/el_native_fs
           /tmp/el_native_fs
 
+      # Publish only after merge (push event), not on PR validation runs
       - name: Publish El SDK to Artifact Registry (dev)
+        if: github.event_name == 'push'
         env:
           GCP_SA_KEY: ${{ secrets.GCP_SA_KEY }}
         run: |