Code

Reenable master#264

Code

Merged

whonore merged 5 commits intomasterwhonore/Coqtail:masterfrom reenable-masterwhonore/Coqtail:reenable-masterCopy head branch name to clipboardJul 12, 2022

+14-15

Commits

Commits on Jul 12, 2022

• Remove Coq master CI workaround

  whonore

  committed
  c0c80bb

  Copy full SHA for c0c80bb

• Add Coq 8.16 to CI

  whonore

  committed
  f3cdf46

  Copy full SHA for f3cdf46

• Add Coq 8.16 to tox

  whonore

  committed
  4f56b56

  Copy full SHA for 4f56b56

• Add 8.16 XML interface

  whonore

  committed
  5e48728

  Copy full SHA for 5e48728

• Update documentation

  whonore

  committed
  92f8c92

  Copy full SHA for 92f8c92