Code

Add progress bars#115

Code

Open

Gbury wants to merge 17 commits intomasterGbury/dolmen:masterfrom progressGbury/dolmen:progressCopy head branch name to clipboard

+1,115-358

Commits

Commits on Feb 2, 2023

• Add progress option

  Gbury

  committed
  bdbf86d

  Copy full SHA for bdbf86d

• opam file

  Gbury

  committed
  d46b179

  Copy full SHA for d46b179

• Fix errors

  Gbury

  committed
  ce95b44

  Copy full SHA for ce95b44

• Progress bars are working well

  Gbury

  committed
  cc6510e

  Copy full SHA for cc6510e

• WIP

  Gbury

  committed
  153893e

  Copy full SHA for 153893e

• Proper interface for terminal interaction

  Gbury

  committed
  3ba363c

  Copy full SHA for 3ba363c

• Proper doc

  Gbury

  committed
  3cd0354

  Copy full SHA for 3cd0354

• Better option for progress

  Gbury

  committed
  248d546

  Copy full SHA for 248d546

• Make only dolmen_bin depend on progress

  Gbury

  committed
  5960176

  Copy full SHA for 5960176

• Vendor progress lib

  Gbury

  committed
  41c30ca

  Copy full SHA for 41c30ca

• Update opam file

  Gbury

  committed
  ff9036c

  Copy full SHA for ff9036c

• Try and fix CI

  Gbury

  committed
  70ff5fb

  Copy full SHA for 70ff5fb

• Update for mtime 2.0

  Gbury

  committed
  670dbe2

  Copy full SHA for 670dbe2

• Revert "Update for mtime 2.0"

  Show description for 601e256
  Gbury

  committed
  601e256

  Copy full SHA for 601e256

• Add upper bound on mtime

  Show description for 8730046
  Gbury

  committed
  8730046

  Copy full SHA for 8730046

• Fix build

  Gbury

  committed
  a480c8f

  Copy full SHA for a480c8f

• Fix rebase

  Gbury

  committed
  e635c92

  Copy full SHA for e635c92