From 0d98d716cbbc1ca926332bc65a2083cc74d65641 Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Wed, 29 Nov 2023 16:49:32 +0400
Subject: [PATCH] [ci]

---
 .github/workflows/build.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 0c3e5113a7c..9330f0e4106 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -3,9 +3,9 @@ name: CI
 
 on:
   pull_request:
-    branches: [main, utbot-main]
+    branches: [main, utbot-main, ci]
   push:
-    branches: [main, utbot-main]
+    branches: [main, utbot-main, ci]
 
 # Defaults for building KLEE
 env: