Code

Try to run CI on windows#36

Code

Closed

Luthaf wants to merge 3 commits intomainlab-cosmo/mops:mainfrom upgrade-cilab-cosmo/mops:upgrade-ciCopy head branch name to clipboard

+53-22

Commits

Commits on Feb 19, 2024

• Try to run CI on windows

  Luthaf

  committed
  2d6c8ed

  Copy full SHA for 2d6c8ed

• Add a check for restrict syntax in cmake

  Luthaf

  committed
  9da20d4

  Copy full SHA for 9da20d4

• Allow to run check-format.sh on a dirty repo

  Luthaf

  committed
  055f1c1

  Copy full SHA for 055f1c1