Install Just-a-Monad

Russoul · Dec 9, 2023 · ca19c8f · ca19c8f
1 parent 7ec729b
commit ca19c8f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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