Repository navigation

Migrate to Spago and update CI - #150

Closed

thomashoneyman wants to merge 3 commits into

migrate-spago-ci

Closed

Migrate to Spago and update CI#150
thomashoneyman wants to merge 3 commits into
masterfrom
migrate-spago-ci

Commits on Oct 15, 2026
- Migrate to Spago and update CI and tooling
  thomashoneyman
  committed
  171d9d9
- Format PureScript sources and repository files
  thomashoneyman
  committed
  c40867e
- Credit migration pull request in changelog
  
  thomashoneyman
  and
  ampagent
  committed
  fce66d0