Repository navigation

Migrate to Spago and update CI - #129

Merged

thomashoneyman merged 15 commits into

Oct 18, 2026

Merged

Migrate to Spago and update CI#129
thomashoneyman merged 15 commits into
masterfrom
migrate-spago

Commits on Oct 15, 2026
- Migrate package configuration and CI to Spago
  thomashoneyman
  committed
  fe3c028
- Move benchmark sources into a workspace package and restore the runner
  thomashoneyman
  committed
  7175af0
- Normalize Spago configuration and remove unused benchmark dependency
  thomashoneyman
  committed
  b5e8e58
- Keep batch mapping entirely within benchmark timing
  thomashoneyman
  committed
  5f108c0
- Resolve benchmark kind and unused-binding warnings
  thomashoneyman
  committed
  6aca8d2
- Format PureScript and repository files
  thomashoneyman
  committed
  e982060
- Credit migration pull request in changelog
  thomashoneyman
  committed
  50c6cc0
- Allow the full benchmark workloads a larger Node heap
  thomashoneyman
  committed
  0be614e
- Leave generated benchmark JSON unformatted
  thomashoneyman
  committed
  11bb1a1
- Use Minibench with a PureScript benchmark runner
  thomashoneyman
  committed
  b7c940f
- Run benchmarks through Spago
  thomashoneyman
  committed
  5019ddc
- Retain Unreleased section and date the planned release
  thomashoneyman
  committed
  83f7a52
Commits on Oct 16, 2026
- Remove the free benchmarks
  thomashoneyman
  committed
  afe9164
Commits on Oct 17, 2026
- Use do bindings and explicit case expressions
  thomashoneyman
  committed
  ae6ae00
- Link Unreleased changelog section
  thomashoneyman
  committed
  6513e36