From a97e680e684978604f8350de940acb01a842622a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Olivier=20B=C3=A9gassat?=
 <38285177+OlivierBBB@users.noreply.github.com>
Date: Tue, 14 Jan 2025 16:37:01 +0100
Subject: [PATCH] Update check.yml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Build both constraint systems

Signed-off-by: Olivier Bégassat <38285177+OlivierBBB@users.noreply.github.com>
---
 .github/workflows/check.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 91e9aebd..d3e2efdb 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -27,5 +27,7 @@ jobs:
         tar xzf corset.tar.gz
         mv corset $HOME
 
-    - name: Build the constraint system
-      run: CORSET=$HOME/corset make -B zkevm.bin
+    - name: Build both constraint systems (Linea/Ethereum)
+      run: |
+        CORSET=$HOME/corset make -B zkevm.bin
+        CORSET=$HOME/corset make -B zkevm_for_reference_tests.bin