From 5a502d78841539ad993ea52fb3d683ba8648ebf3 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Wed, 10 Aug 2022 03:47:19 +0800
Subject: [PATCH] help our poor CI; don't run CI on other branches for push
 (#20184)

---
 .github/workflows/ci_packages.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci_packages.yml b/.github/workflows/ci_packages.yml
index a939936b6f..2efbb628f2 100644
--- a/.github/workflows/ci_packages.yml
+++ b/.github/workflows/ci_packages.yml
@@ -1,5 +1,9 @@
 name: Packages CI
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches:
+      devel
 
 jobs:
   build: