Code

fix many CI related issues#446

Code

Merged

zapashcanon merged 10 commits intoOCamlPro:mainOCamlPro/owi:mainfrom zapashcanon:cicicicizapashcanon/owi:ciciciciCopy head branch name to clipboardNov 20, 2024

+90-43

Commits

Commits on Nov 18, 2024

• remove cache from deploy CI because it always breaks

  zapashcanon

  committed
  b292565

  Copy full SHA for b292565

• pin alt-ergo

  zapashcanon

  committed
  8ca0572

  Copy full SHA for 8ca0572

• Update owi.opam.template

  Show description for ff1c392
  

  zapashcanon

  and

  filipeom

  committed
  ff1c392

  Copy full SHA for ff1c392

• Update owi.opam

  Show description for 612c5b2
  

  zapashcanon

  and

  filipeom

  committed
  612c5b2

  Copy full SHA for 612c5b2

• promote tests

  zapashcanon

  committed
  35efe8d

  Copy full SHA for 35efe8d

Commits on Nov 19, 2024

• pkgconf pkg-config fix

  zapashcanon

  committed
  495ed4d

  Copy full SHA for 495ed4d

• prevent opam from using submodules

  zapashcanon

  committed
  fe050d8

  Copy full SHA for fe050d8

• add a no-assert-failure-expression-printing

  zapashcanon

  committed
  84cf257

  Copy full SHA for 84cf257

• disable test for unimplemented stuff leading to a backtrace

  zapashcanon

  committed
  1b7c029

  Copy full SHA for 1b7c029

• do not print value in a non-reproducible test

  zapashcanon

  committed
  c57cedf

  Copy full SHA for c57cedf