From 28bf943e1de78b9e3995e0717ca43d31f33966ac Mon Sep 17 00:00:00 2001
From: okkez <okkez000@gmail.com>
Date: Thu, 2 Nov 2023 09:55:18 +0900
Subject: [PATCH] Run CI on our patched branch

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8c6c52ee0f6c..76399418fcc3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,9 @@ name: ci
 
 on:
   pull_request:
+  push:
+    branches:
+      - 'repro-*'
 
 env:
   # An envar that signals to tests we are executing in the CI environment