From 9d6ca9dfeefda5534a7c0a7c490aa46a98e30520 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Sat, 13 Jan 2024 20:36:46 +0100
Subject: [PATCH] Update binary-build.yml -- fix install test

---
 .github/workflows/binary-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/binary-build.yml b/.github/workflows/binary-build.yml
index ead3f5c7d..9cb0a2af8 100644
--- a/.github/workflows/binary-build.yml
+++ b/.github/workflows/binary-build.yml
@@ -91,7 +91,7 @@ jobs:
         path: Release\cryptominisat5.exe
 
     - name: "Install CMS (unix)"
-      if: ${{ !contains(matrix.os, 'windows') }}
+      if: matrix.os == 'ubuntu-20.04'
       run: sudo cmake --install build --config ${{ matrix.build_type }}
 
     - name: "Install Spix (win)"