From 3e8246fb0a727c8251c85ba364cc7b0c73fed207 Mon Sep 17 00:00:00 2001
From: Oz <oz@certora.com>
Date: Tue, 3 Dec 2024 17:52:16 +0200
Subject: [PATCH] test build

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 400e67f..f4063d2 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - oz/ci
     tags: ['*']
   workflow_dispatch: