From 828367d0c8554b805f922d03cc408b5e07787974 Mon Sep 17 00:00:00 2001
From: elsid <elsid.mail@gmail.com>
Date: Thu, 20 Jun 2024 21:57:19 +0200
Subject: [PATCH] Fix Teal CI job

---
 CI/teal_ci.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CI/teal_ci.sh b/CI/teal_ci.sh
index 8117e934438..17e13e544e8 100755
--- a/CI/teal_ci.sh
+++ b/CI/teal_ci.sh
@@ -5,8 +5,9 @@ PATH=$PATH:~/luarocks/bin
 
 pushd .
 echo "Install Teal Cyan"
-git clone https://github.com/teal-language/cyan.git --depth 1
+git clone https://github.com/teal-language/cyan.git
 cd cyan
+git checkout 51649e4a814c05deaf5dde929ba82803f5170bbc
 luarocks make cyan-dev-1.rockspec
 popd