Code

feat(ci): add Lean testing in the CI#871

Code

Merged

bacam merged 5 commits intorems-project:sail2rems-project/sail:sail2from

RaitoBezarius:lean-ciRaitoBezarius/sail:lean-ciCopy head branch name to clipboard

Jan 30, 2025

Commits

Commits on Jan 29, 2025

• fix(test/lean/run_tests): ensure the directory exist, do not fail with EEXIST

  Show description for 192e919
  

  RaitoBezarius

  authored and

  Alasdair

  committed
  192e919

  Copy full SHA for 192e919

• fix(sail): POSIX compliance for shebang script

  Show description for 81aa893
  

  RaitoBezarius

  authored and

  Alasdair

  committed
  81aa893

  Copy full SHA for 81aa893

• chore(lean/run_tests): ensure the basename directories are cleaned up

  Show description for 51bf358
  

  RaitoBezarius

  authored and

  Alasdair

  committed
  51bf358

  Copy full SHA for 51bf358

• feat(lean/run_tests): Test generated Lean code using Lean itself

  Show description for 44f9ff3
  

  RaitoBezarius

  authored and

  Alasdair

  committed
  44f9ff3

  Copy full SHA for 44f9ff3

• CI: Update elan cache and path

  Alasdair

  committed
  555d647

  Copy full SHA for 555d647