From f16f3a5a0b1b62f39a3a43999f2059c6a0603a66 Mon Sep 17 00:00:00 2001
From: Adrian Sieber <github@ad-si.com>
Date: Sun, 9 Jun 2024 10:23:19 +0000
Subject: [PATCH] Add .gitpod.yml, fix casing of keys in spago.yml

---
 .gitpod.yml | 5 +++++
 spago.yaml  | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 0000000..5c25637
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,5 @@
+tasks:
+  - before: >-
+      curl -fsSL https://bun.sh/install | bash
+      && source /home/gitpod/.bashrc
+    init: make build
diff --git a/spago.yaml b/spago.yaml
index 6233d36..25d2306 100644
--- a/spago.yaml
+++ b/spago.yaml
@@ -43,9 +43,9 @@ package:
     dependencies:
       - spec
 workspace:
-  package_set:
+  packageSet:
     registry: 47.12.0
-  extra_packages:
+  extraPackages:
     format:
       git: https://github.com/feramhq/purescript-format
       ref: 3b0fc6c74f439fc3ad7fc7c88fc6f73b083f82e2