chore(ci/install): fix Linux build by pinning cross

cross-rs/cross#229
leanprover · Mar 6, 2020 · a243cdc · a243cdc
1 parent 155f2b8
commit a243cdc
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/ci/install.sh b/ci/install.sh
@@ -30,17 +30,17 @@ main() {
             ;;
     esac
 
-    # This fetches latest stable release
-    local tag=$(git ls-remote --tags --refs --exit-code https://github.com/japaric/cross \
-                       | cut -d/ -f3 \
-                       | grep -E '^v[0.1.0-9.]+$' \
-                       | $sort --version-sort \
-                       | tail -n1)
+    # # This fetches latest stable release
+    # local tag=$(git ls-remote --tags --refs --exit-code https://github.com/japaric/cross \
+    #                    | cut -d/ -f3 \
+    #                    | grep -E '^v[0.1.0-9.]+$' \
+    #                    | $sort --version-sort \
+    #                    | tail -n1)
     curl -LSfs https://japaric.github.io/trust/install.sh | \
         sh -s -- \
            --force \
            --git japaric/cross \
-           --tag $tag \
+           --tag v0.1.16 \
            --target $target
 }