From a35f0fc7338666ed2878512875d5f96db44dbdce Mon Sep 17 00:00:00 2001
From: Martin Hoffmann <martin@nlnetlabs.nl>
Date: Fri, 27 Jun 2025 15:18:46 +0200
Subject: [PATCH] Trigger CI on default pull-request activity types. (#549)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This PR changes the CI trigger for pull requests to use the default activity types which – the Internet claims – is “open,” “synchronize,” and “reopen.”
---
 .github/workflows/ci.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 502d3631..91049139 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,11 +12,10 @@ name: CI
 # When the worflow runs
 # ---------------------
 on:
-  # Execute when a pull request's head changes (e.g. new commits are added or
-  # the commit history is rewritten) ... but only if build-related files
-  # change.
+  # Execute when a pull request is (re-) opened or its head changes (e.g. new
+  # commits are added or the commit history is rewritten) ... but only if
+  # build-related files change.
   pull_request:
-    types: [synchronize]
     paths:
       - '**.rs'
       - 'Cargo.{toml,lock}'