From b63e6d26eaaee9cc01601271a39aea6a6db1f532 Mon Sep 17 00:00:00 2001
From: roottool <11808736+roottool@users.noreply.github.com>
Date: Sun, 19 Jul 2026 13:18:43 +0900
Subject: [PATCH] ci: Simplify `pull_request` types declaration in CI config

---
 .github/workflows/ci.yaml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1328286..86e1add 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -2,11 +2,7 @@ name: CI
 run-name: '${{ github.workflow }} (${{ github.ref_name }}): ${{ github.event.pull_request.title }}'
 on:
   pull_request:
-    types:
-      - opened
-      - synchronize
-      - reopened
-      - ready_for_review
+    types: [opened, synchronize, reopened, ready_for_review]
 
 # Declare default permissions as read only.
 permissions: read-all