From d08ad7683eee7bed99c7f14b511cc3873529263b Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Tue, 19 Nov 2024 18:13:50 +0800
Subject: [PATCH] Enable running `encode_ceno.sh` in CI

---
 .github/workflows/ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 27dde347..46e7420f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -96,5 +96,4 @@ jobs:
         run: |
             set -euxo pipefail
             ./setup.sh
-            # TODO: fix, then enable it.
-            # ./encode_ceno.sh
+            ./encode_ceno.sh