Code

Various updates to CI scripts#118

Code

Merged

ahelwer merged 9 commits intotlaplus:mastertlaplus/Examples:masterfrom ahelwer:ci-updatesahelwer/Examples:ci-updatesCopy head branch name to clipboardFeb 8, 2024

+654-124

Commits

Commits on Feb 8, 2024

• Moved CI setup out into scripts

  Show description for e1f21d1
  ahelwer

  committed
  e1f21d1

  Copy full SHA for e1f21d1

• Don't use pyvenv in CI; hard to make cross-platform

  Show description for 5cf3a47
  ahelwer

  committed
  5cf3a47

  Copy full SHA for 5cf3a47

• Fixed community modules download on windows

  Show description for 343a336
  ahelwer

  committed
  343a336

  Copy full SHA for 343a336

• Try to debug EWD998 parse failure

  Show description for 3846493
  ahelwer

  committed
  3846493

  Copy full SHA for 3846493

• Probably fixed ewd998 parse issue

  Show description for 6c29ba8
  ahelwer

  committed
  6c29ba8

  Copy full SHA for 6c29ba8

• Added missing file to manifest

  Show description for a8d8cf9
  ahelwer

  committed
  a8d8cf9

  Copy full SHA for a8d8cf9

• Removed macOS runner, separated out validation script

  Show description for 3d8b04c
  ahelwer

  committed
  3d8b04c

  Copy full SHA for 3d8b04c

• Revert "Removed macOS runner, separated out validation script"

  Show description for 4991cf2
  ahelwer

  committed
  4991cf2

  Copy full SHA for 4991cf2

• Try M1 macOS runner

  Show description for dc48a82
  ahelwer

  committed
  dc48a82

  Copy full SHA for dc48a82