Repository navigation

Update Spago configuration and modernize CI tooling - #62

Merged

thomashoneyman merged 2 commits into

migrate-spago-tooling

Oct 10, 2026

Merged

Update Spago configuration and modernize CI tooling#62
thomashoneyman merged 2 commits into
masterfrom
migrate-spago-tooling

Commits on Oct 10, 2026
- Update Spago configuration and validate the gzip example
  thomashoneyman
  committed
  34e80f2
- Pin CI and formatting tools
  thomashoneyman
  committed
  48ef7c5