Migrate from spago-legacy to spago - #18

Merged

f-f merged 10 commits into

sigma-andex:mainfrom

m-rinaldi:spago-migration

Jun 24, 2026

Commits on Jun 11, 2026

migrate from spago-legacy to spago; move examples to test/
m-rinaldi
committed
100544b
fix compiler warnings
m-rinaldi
committed
24906f0

Commits on Jun 15, 2026

remove extraPackages
m-rinaldi
committed
fb84756
skipping server tests
m-rinaldi
committed
8d35faf
ci: upgrade deprecated actions and fix spago commands
m-rinaldi
committed
60dce0f
fix tests
m-rinaldi
committed
7f30185

Commits on Jun 16, 2026

ci: pin spago to 1.0.4
m-rinaldi
committed
4158223
fix formatting
m-rinaldi
committed
822da4e

Commits on Jun 23, 2026

ci: fix spago build flags for spago 1.0.4
m-rinaldi
committed
4590881

Commits on Jun 24, 2026

replace deprecated runSpec with runSpecAndExitProcess
m-rinaldi
committed
d295cd7