Code

WIP: Support OPAM local repos#288

Code

Open

na4zagin3 wants to merge 8 commits intomasterna4zagin3/satyrographos:masterfrom feature/opam-local-repona4zagin3/satyrographos:feature/opam-local-repoCopy head branch name to clipboard

+514-140

Commits

Commits on Apr 23, 2022

• Set up project should be in a Process monad

  na4zagin3

  committed
  4f13883

  Copy full SHA for 4f13883

• WIP: Add local repo support

  na4zagin3

  committed
  a8ddb74

  Copy full SHA for a8ddb74

• WIP Make it possible to specify opam repo

  na4zagin3

  committed
  036cad0

  Copy full SHA for 036cad0

• Handle load failure of OPAM repo

  na4zagin3

  committed
  094745f

  Copy full SHA for 094745f

• Try read OPAM switch from the current directory

  na4zagin3

  committed
  3133df4

  Copy full SHA for 3133df4

• Update outputs for opam-related changes

  na4zagin3

  committed
  1d4f421

  Copy full SHA for 1d4f421

Commits on Apr 24, 2022

• Update

  na4zagin3

  committed
  b61c192

  Copy full SHA for b61c192

Commits on Apr 30, 2022

• Remove direct invocation of OPAM

  na4zagin3

  committed
  22fba97

  Copy full SHA for 22fba97