run workflow on synchronize PR for now, not push

cryspen · Feb 6, 2025 · 4c8e1c3 · 4c8e1c3
1 parent b73714b
commit 4c8e1c3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/docker-c.yml b/.github/workflows/docker-c.yml
@@ -3,10 +3,9 @@ name: Rebuild C Docker image
 on:
   workflow_dispatch:
   pull_request:
-    types: ['opened']
+    types: ['opened', 'synchronize']
     branches: ['main']
     paths: ['.docker/c/**']
-  push:
 
 env:
   REGISTRY: ghcr.io