Commit 97aa894b authored by Ralf Jung's avatar Ralf Jung

try to work around yet another opam silliness

parent 79bddd1a
......@@ -55,7 +55,7 @@ done
# Upgrade cached things.
echo
echo "[opam-ci] Upgrading opam"
opam upgrade -y --fixup
opam upgrade -y --fixup && opam upgrade -y
# Install build-dependencies.
echo
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment