Code

build: Upgrade dune file.#903

Code

Open

Et7f3 wants to merge 4 commits intomasterrevery-ui/revery:masterfrom upgrade_dunerevery-ui/revery:upgrade_duneCopy head branch name to clipboard

+300-271

Commits

Commits on Jun 7, 2020

• build: dune upgrade

  Et7f3

  committed
  9eca7cf

• fix(build): finish manual upgrade.

  Et7f3

  committed
  5e0b7dc

• build(deps): Bump dune lower bound

  Et7f3

  committed
  1593dec

• Update lockdir,

  

  Github Runner

  authored and

  Et7f3

  committed
  b06b90d