From 089deaf610d1f573562b4b6d5266ad369046490d Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Wed, 24 Apr 2024 09:42:11 +0200
Subject: [PATCH] Do not run unit test as part of integration tests (#3827)

I've noticed we are running unit test as part of the "'Nix /
Integration'" job, but we also have a dedicated "'Nix / Unit Tests" job
that runs them in exactly the same way, so we may as well skip them in
the integration tests job.
---
 .github/workflows/test.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 449bfcc75d..0a8c321885 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -201,10 +201,6 @@ jobs:
             cabal-nix-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('cabal.project') }}
             cabal-nix-${{ runner.os }}-ghc-${{ env.ghc_version }}
 
-      - name: Run unit tests
-        if: ${{ steps.changes.outputs.booster == 'true' || steps.changes.outputs.kore == 'true' || steps.changes.outputs.project == 'true' }}
-        run: GC_DONT_GC=1 nix develop .#cabal --command bash -c "cabal update && cabal build all && cabal test --enable-tests --test-show-details=direct kore-test unit-tests"
-
       - name: Run booster integration tests
         if: ${{ (steps.changes.outputs.booster == 'true' || steps.changes.outputs.kore_rpc_types == 'true' || steps.changes.outputs.project == 'true') }}
         run: |