Repository navigation

Migrate to Spago and update CI - #53

Merged

thomashoneyman merged 8 commits into

Oct 18, 2026

Merged

Migrate to Spago and update CI#53
thomashoneyman merged 8 commits into
masterfrom
migrate-spago

Commits on Oct 15, 2026
- Migrate to Spago and modernize CI tooling
  thomashoneyman
  committed
  d024f94
- Remove obsolete ESLint directive
  thomashoneyman
  committed
  d4cb18b
- Format PureScript and repository files
  thomashoneyman
  committed
  8e35ff5
- Credit migration PR in changelog
  thomashoneyman
  committed
  8875397
- Prepare versioned changelog heading
  thomashoneyman
  committed
  811483a
- Prepare changelog release date and unreleased section
  thomashoneyman
  committed
  22aaeff
Commits on Oct 17, 2026
- Apply reviewed PureScript style improvements
  thomashoneyman
  committed
  6cdad62
- Correct release documentation
  thomashoneyman
  committed
  7080bfe