curl -fsSL https://get.dune.build/install | sh downloads dune and other magic.
Actual Behavior
curl: (22) The requested URL returned error: 404
error: Failed to download dune tar from "https://get.dune.build/2024-10-17/x86_64-unknown-linux-musl/dune-2024-10-17-x86_64-unknown-linux-musl.tar.gz"
Reproduction
I was trying this in Gitpod, but I'm assuming this is a larger issue.
I know why. This is an error with our script. We recently updated the code to not build the release every day, but the script keep using the date. I'll push a fix soon.
Repost from #11018 by @nojaf
Expected Behavior
curl -fsSL https://get.dune.build/install | sh
downloads dune and other magic.Actual Behavior
Reproduction
I was trying this in Gitpod, but I'm assuming this is a larger issue.
curl -fsSL https://get.dune.build/install | sh
Specifications
dune
(output ofdune --version
):ocaml
(output ofocamlc --version
)Distributor ID: Ubuntu Description: Ubuntu 22.04.4 LTS Release: 22.04 Codename: jammy
Additional information
Please add some CI so this works very day going forward.