Build pattern matching before running integration tests

runtimeverification · Mar 7, 2024 · 6247a54 · 6247a54
1 parent 1444398
commit 6247a54
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/test-flake.yml b/.github/workflows/test-flake.yml
@@ -44,6 +44,9 @@ jobs:
       - name: 'Build LLVM backend'
         run: GC_DONT_GC=1 nix build --print-build-logs .
 
+      - name: 'Build pattern matching compiler'
+        run: GC_DONT_GC=1 nix build --print-build-logs .#llvm-backend-matching
+
       - name: 'Test LLVM backend'
         run: GC_DONT_GC=1 nix flake check --print-build-logs