Code

Update dependencies#815

Code

Closed

MisterDA wants to merge 7 commits intomirage:mastermirage/mirage-www:masterfrom MisterDA:update-dependenciesMisterDA/mirage-www:update-dependenciesCopy head branch name to clipboard

+81-17

Commits

Commits on Dec 12, 2023

• Update to latest Dream

  MisterDA

  committed
  635287d

  Copy full SHA for 635287d

• Link with Dream in templates

  MisterDA

  committed
  1fb7b9b

  Copy full SHA for 1fb7b9b

• Bump omd lower-bound

  MisterDA

  committed
  bc4e92d

  Copy full SHA for bc4e92d

• Update opam-repository and mirage-dev in deploy

  MisterDA

  committed
  dab6333

  Copy full SHA for dab6333

• Update to mirage.4.4.1

  MisterDA

  committed
  fa758f6

  Copy full SHA for fa758f6

• Remove mirage opam-repository overlay in deploy

  MisterDA

  committed
  85a8348

  Copy full SHA for 85a8348

• Try installing opam dependencies for pin-depends in deploy

  MisterDA

  committed
  0488633

  Copy full SHA for 0488633