From 5ce332764c0f466ceddacb18559ecfa5455d1a5d Mon Sep 17 00:00:00 2001 From: Varun Agrawal Date: Mon, 20 Jan 2025 10:27:11 -0500 Subject: [PATCH] don't install boost if no_boost flag is set --- .github/workflows/build-special.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-special.yml b/.github/workflows/build-special.yml index 3a7dd974d..eb1d96fdc 100644 --- a/.github/workflows/build-special.yml +++ b/.github/workflows/build-special.yml @@ -116,7 +116,7 @@ jobs: fi - name: Install Boost - if: runner.os == 'Linux' + if: runner.os == 'Linux' && matrix.flag != 'no_boost' run: | sudo apt-get -y install libboost-all-dev