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