diff --git a/build/opam-ci.sh b/build/opam-ci.sh index 66ccfc940da956981455546ec6d92a7a2c0b5121..b6925ba58c8518c2f6a73ad74833861073ff9578 100755 --- a/build/opam-ci.sh +++ b/build/opam-ci.sh @@ -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