Code

Rename test to examples#16

Code

Open

quinn-dougherty wants to merge 4 commits intoejgallego:v8.13ejgallego/pycoq:v8.13from quinn-dougherty:rename-test-to-examplesquinn-dougherty/pycoq:rename-test-to-examplesCopy head branch name to clipboard

+115-99

Commits

Commits on Nov 8, 2021

• Rename test to examples

  quinn-dougherty

  committed
  db5e83b

• caught up CI to Makefile changes

  quinn-dougherty

  committed
  a26e63f

• needed eval opam env in ci step

  quinn-dougherty

  authored
  0ec54fd

• dune promote

  quinn-dougherty

  committed
  8a642b1