diff --git a/CI/teal_ci.sh b/CI/teal_ci.sh index b5b9b1b8e6..c3ff77c4aa 100755 --- a/CI/teal_ci.sh +++ b/CI/teal_ci.sh @@ -7,8 +7,7 @@ pushd . echo "Install Teal Cyan" git clone https://github.com/teal-language/cyan.git cd cyan -git checkout 51649e4a814c05deaf5dde929ba82803f5170bbc -sed -i 's/"tl"/"tl ~> 0.15"/' cyan-dev-1.rockspec +git checkout 71eaea271bff489d82a9fb575b823b161b996162 luarocks make cyan-dev-1.rockspec popd