Code

Update CI for Pi2 fork#1

Code

Merged

dwightguth merged 3 commits intomasterPi-Squared-Inc/mx-semantics:masterfrom ciPi-Squared-Inc/mx-semantics:ciCopy head branch name to clipboardAug 6, 2024

+3-104

Commits

Commits on Aug 6, 2024

• update test-pr workflow

  

  Dwight Guth

  committed
  e6f4294

• delete unneeded workflow stages

  

  Dwight Guth

  committed
  c172ca7

• don't build haskell backend

  

  Dwight Guth

  committed
  9d5476d