From f2db6989cdafaefde21cedec48130b3807a5f9db Mon Sep 17 00:00:00 2001 From: Aleksandr Misonizhnik Date: Wed, 29 Nov 2023 16:49:32 +0400 Subject: [PATCH] [ci] Co-authored-by: MchKosticyn --- .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 1813a8ef4a..cf66decff9 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: [bidirectional] push: - branches: [main, utbot-main] + branches: [bidirectional] # Defaults for building KLEE env: