Skip to content

Simplify CI's use of opam install

The following discussion from !13 (merged) should be addressed:

  • @arvidnl started a discussion: (+4 comments)

    I know the MR is already merged, but I have some questions:

    • Why call opam install twice, first with --deps-only and then do the actual install? why not just skip the first step?
    • Couldn't the call to opam depext remove the call to apt-get install above (L13).
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information