Skip to content

Commit

Permalink
Download tarballs from GitHub instead of inria
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jun 14, 2024
1 parent b6b0816 commit cc0cb9e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/scripts/ocaml-cache.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@

. .github/scripts/preamble.sh

wget "http://caml.inria.fr/pub/distrib/ocaml-${OCAML_VERSION%.*}/ocaml-$OCAML_VERSION.tar.gz"
tar -xzf "ocaml-$OCAML_VERSION.tar.gz"
wget "https://github.com/ocaml/ocaml/archive/${OCAML_VERSION}.tar.gz"
tar -xzf "$OCAML_VERSION.tar.gz"

cd "ocaml-$OCAML_VERSION"
if [[ $OPAM_TEST -ne 1 ]] ; then
Expand Down

0 comments on commit cc0cb9e

Please sign in to comment.