Commit 0a493923 authored by Ralf Jung's avatar Ralf Jung

try to work around yet another opam silliness

parent 2c9655a0
Pipeline #5120 canceled with stage
......@@ -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