Skip to content

Migrate to Spago 1 and modernize CI - #3

Merged
thomashoneyman merged 2 commits into
mainfrom
migrate-spago-1
Oct 10, 2026
Merged

thomashoneyman merged 2 commits into
mainfrom
migrate-spago-1

Modernize CI and pin PureScript formatting tools

87d4286
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Oct 10, 2026 in 55s