From 7f886f184090420ebc38881b19bb3a4040026096 Mon Sep 17 00:00:00 2001
From: uramer <antonuramer@gmail.com>
Date: Sat, 19 Oct 2024 17:51:06 +0200
Subject: [PATCH] Use stable cyan, print teal versions in CI

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

diff --git a/CI/teal_ci.sh b/CI/teal_ci.sh
index 10af4854c8..6f5953f1be 100755
--- a/CI/teal_ci.sh
+++ b/CI/teal_ci.sh
@@ -7,8 +7,9 @@ pushd .
 echo "Install Teal Cyan"
 git clone https://github.com/teal-language/cyan.git
 cd cyan
-git checkout 71eaea271bff489d82a9fb575b823b161b996162
-luarocks make cyan-dev-1.rockspec
+git checkout v0.4.0
+luarocks make cyan-0.4.0-1.rockspec
 popd
 
+cyan version
 scripts/generate_teal_declarations.sh ./teal_declarations