From ca19c8f97e4dda1a56d4af0d9dfb526de2dbc2b9 Mon Sep 17 00:00:00 2001
From: russoul <me@russoul.me>
Date: Sat, 9 Dec 2023 18:05:17 +0400
Subject: [PATCH] Install Just-a-Monad

---
 .github/workflows/nova.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/nova.yml b/.github/workflows/nova.yml
index 967b4e1..7807526 100644
--- a/.github/workflows/nova.yml
+++ b/.github/workflows/nova.yml
@@ -13,6 +13,7 @@ env:
   SCHEME: scheme
   # The idris2 commit we build upon
   IDRIS2_REMOTE: "idris-lang"
+  RUSSOUL_REMOTE: "russoul"
   IDRIS2_HASH: "86c53e607"
 
 jobs:
@@ -58,6 +59,12 @@ jobs:
           cd Idris2
           make install
           cd ..
+      - name: Install Just-A-Monad
+        run: |
+          git clone https://github.com/${{ env.RUSSOUL_REMOTE }}/Just-a-Monad
+          cd Just-a-Monad
+          idris2 --install
+          cd ..
       - name: Build and test Nova
         run: |
           make build-bin