From 8608b6c88a0f49226c5b6d062444c047b5b9becc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= <piotr.paradzinski@gmail.com>
Date: Fri, 3 May 2024 12:21:29 +0200
Subject: [PATCH] Compile generated Scala code

---
 .github/workflows/haskell.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
index bf02bd8..71047fd 100644
--- a/.github/workflows/haskell.yml
+++ b/.github/workflows/haskell.yml
@@ -51,6 +51,16 @@ jobs:
 
       - name: Run tests
         run: cabal test all
-      
+
+      # compile example Agda files into Scala
       - name: Run tests
         run: cabal run -- agda2scala ./test/adts.agda
+
+      # compile result Scala code
+      - uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-version: '21'
+
+      - name: Run tests
+        run: sbt clean compile