Code

Clean up the test and its use in CI#137

Code

Merged

hannesm merged 9 commits intomirage:mainmirage/ocaml-solo5:mainfrom shym:test-cleanupshym/ocaml-solo5:test-cleanupCopy head branch name to clipboardMay 31, 2024

+45-132

Commits

Commits on May 30, 2024

• Fix the example & the test program

  Show description for 8d12358
  

  2 peopleauthored and

  shym

  committed
  8d12358

• Import example simplifications into test

  shym

  committed
  9966d6b

• Deduplicate example and test

  Show description for b51362f
  shym

  committed
  b51362f

Commits on May 31, 2024

• Clean up dune rules for the example

  Show description for 04be64d
  shym

  committed
  04be64d

• Use dune's standard formatting in example's dune-workspace

  shym

  committed
  37260c0

• CI: Compile with all backends in a single job

  Show description for 6853007
  shym

  committed
  6853007

• CI: Set up a firm expected result

  Show description for b786db9
  shym

  committed
  b786db9

• CI: Test also 4.14.1, just as on FreeBSD

  shym

  committed
  1e5ddeb

• Update the supported versions in README

  shym

  committed
  05eb637