Code

[release] opam via dune-release#561

Code

Closed

gares wants to merge 8 commits intomaincoq/vscoq:mainfrom dune-release-cicoq/vscoq:dune-release-ciCopy head branch name to clipboard

+47

Commits

Commits on Aug 7, 2023

• [HACK] disable ci

  gares

  committed
  b279fc0

  Copy full SHA for b279fc0

• wip

  gares

  committed
  5a6916b

  Copy full SHA for 5a6916b

• wip

  gares

  committed
  779c93a

  Copy full SHA for 779c93a

• wip

  gares

  committed
  1d448eb

  Copy full SHA for 1d448eb

• wip

  gares

  committed
  eb4a446

  Copy full SHA for eb4a446

• wip

  gares

  committed
  4b53c33

  Copy full SHA for 4b53c33

• wip

  gares

  committed
  c18a031

  Copy full SHA for c18a031

• remove --draft

  gares

  committed
  a713758

  Copy full SHA for a713758