Code

Skip w-dream-html example on build#358

Code

Merged

aantron merged 4 commits intoaantron:masteraantron/dream:masterfrom alxtuz:issues/355_Skip_some_examples_from_buildalxtuz/dream:issues/355_Skip_some_examples_from_buildCopy head branch name to clipboardOct 22, 2024

+17-3

Commits

Commits on Oct 21, 2024

• Skip w-dream-html example on build

  alxtuz

  committed
  e007da3

  Copy full SHA for e007da3

• Fixed examples' files search

  alxtuz

  committed
  3431ce5

  Copy full SHA for 3431ce5

• aantron#350: Fixed opam lint on Windows. Added missing fields to one more skipped OPAM file

  alxtuz

  committed
  1877b55

  Copy full SHA for 1877b55

Commits on Oct 22, 2024

• s/EXMPLS/EXAMPLES/g

  aantron

  committed
  6685c68

  Copy full SHA for 6685c68