don't build haskell backend

Pi-Squared-Inc · Aug 6, 2024 · 9d5476d · 9d5476d
1 parent c172ca7
commit 9d5476d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -39,7 +39,7 @@ jobs:
       - name: 'Build kmultiversx'
         run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make kmultiversx
       - name: 'Build K definitions'
-        run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make build-all
+        run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make build-mandos build-kasmer
       - name: 'KMultiversX Tests'
         run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make -C kmultiversx test
       - name: 'Simple Tests'