Repository navigation

Migrate to Spago and update CI - #138

Open

thomashoneyman wants to merge 5 commits into

Open

Migrate to Spago and update CI#138
thomashoneyman wants to merge 5 commits into
masterfrom
migrate-spago

Commits on Oct 15, 2026
- Migrate repository workflow to Spago
  thomashoneyman
  committed
  bba3a68
- Apply source style fixes and remove ESLint directive
  thomashoneyman
  committed
  d734d3b
- Format repository with purs-tidy and Oxfmt
  thomashoneyman
  committed
  67c3f96
- Credit migration pull request in changelog
  thomashoneyman
  committed
  d49eb4e
- Prepare changelog release date and unreleased section
  thomashoneyman
  committed
  d1e56bf