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 toapt-get install
above (L13).