New 404 CI failures in core libraries

8

Here’s a snippet of .travis.yml I suggest we use going forward. It uses curl for both commands. I started with @thomashoneyman’s version but modified it to use long options because that makes it easier to see what’s going on, I think.


install:
  - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
  - curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
  - tar -xvf $HOME/purescript.tar.gz -C $HOME/
  - [...]
2 Likes