From 75ecf17422533f97763fd20dc2f7d0c6076e0cd5 Mon Sep 17 00:00:00 2001
From: Dimitris ZARRAS <138439389+dzarras@users.noreply.github.com>
Date: Thu, 14 Mar 2024 14:35:00 +0200
Subject: [PATCH] Trigger CI workflow on pull_request synchronize as well.
 (#135)

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 61ab578..1189287 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,7 +1,7 @@
 name: CI
 on:
   pull_request:
-    types: [opened, reopened]
+    types: [opened, reopened, synchronize]
   push:
 
 jobs: