From: Bennet Bleßmann <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 18:07:07 +0000 (+0200)
Subject: also run CI on rebis-dev
X-Git-Tag: v0.10.0~35^2~1^2~22
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=edf21494d9c01abf8ff63e45ba5106a4e40ba8d4;p=scryer-prolog.git

also run CI on rebis-dev
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 70f8d1a2..50b1a375 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,7 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [master]
+    branches: 
+      - master
+      - rebis-dev
     tags:
       - "v**"
   pull_request: