From 679c2d5509e82e888a7c6fa63aa613a66ea990c8 Mon Sep 17 00:00:00 2001
From: Yamagi <yamagi@yamagi.org>
Date: Mon, 12 Aug 2024 15:43:40 +0200
Subject: [PATCH] Also trigger the CI workflows for PRs when new commits are
 added.

---
 .github/workflows/linux.yml | 3 ++-
 .github/workflows/macos.yml | 3 ++-
 .github/workflows/win32.yml | 3 ++-
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index d579bb17..c6a45deb 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -6,8 +6,9 @@ on:
       - 'master'
   pull_request:
     types:
-      - opened
       - edited
+      - opened
+      - synchronize
 concurrency:
   # Cancel concurrent workflows for the same PR or commit hash.
   group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}}
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 95b92194..e783582b 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -6,8 +6,9 @@ on:
       - 'master'
   pull_request:
     types:
-      - opened
       - edited
+      - opened
+      - synchronize
 concurrency:
   # Cancel concurrent workflows for the same PR or commit hash.
   group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}}
diff --git a/.github/workflows/win32.yml b/.github/workflows/win32.yml
index 613c35ce..d026cb16 100644
--- a/.github/workflows/win32.yml
+++ b/.github/workflows/win32.yml
@@ -6,8 +6,9 @@ on:
       - 'master'
   pull_request:
     types:
-      - opened
       - edited
+      - opened
+      - synchronize
 concurrency:
   # Cancel concurrent workflows for the same PR or commit hash.
   group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}}