From ef6b5b4ae1cbbe185870fa2fd701d706eb77dc28 Mon Sep 17 00:00:00 2001
From: Fabrizio Ferrai <fabrizio.ferrai@gmail.com>
Date: Tue, 19 Dec 2023 17:29:40 +0200
Subject: [PATCH] Use spago in CI

---
 package.json | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/package.json b/package.json
index a333179..5af77b6 100644
--- a/package.json
+++ b/package.json
@@ -2,12 +2,11 @@
   "private": true,
   "type": "module",
   "scripts": {
-    "build": "pulp build -- --strict",
-    "test": "pulp test"
+    "build": "spago build --strict",
+    "test": "spago test"
   },
   "devDependencies": {
-    "purescript-psa": "^0.8.2",
-    "purescript": "^0.14.0",
-    "pulp": "^15.0.0"
+    "purescript": "^0.15.0",
+    "spago": "^0.93.0"
   }
 }