From 9acdeeed041c164ddcb2c4829bfbd4b7c753d485 Mon Sep 17 00:00:00 2001
From: Michele Caini <michele.caini@gmail.com>
Date: Fri, 6 Dec 2019 17:07:29 +0100
Subject: [PATCH] CI: enabled plugins

---
 .github/workflows/build.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 378fd560a..92c96b26b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,7 +20,7 @@ jobs:
       env:
         CXX: ${{ matrix.compiler }}
       run: |
-        cmake -DBUILD_TESTING=ON -DBUILD_LIB=ON ..
+        cmake -DBUILD_TESTING=ON -DBUILD_LIB=ON -DBUILD_PLUGIN=ON ..
         make -j4
     - name: Run tests
       working-directory: build
@@ -49,7 +49,7 @@ jobs:
     - name: Compile tests
       working-directory: build
       run: |
-        cmake -DBUILD_TESTING=ON -DBUILD_LIB=ON ${{ matrix.toolset_option }} ..
+        cmake -DBUILD_TESTING=ON -DBUILD_LIB=ON -DBUILD_PLUGIN=ON ${{ matrix.toolset_option }} ..
         cmake --build . -j 4
     - name: Run tests
       working-directory: build
@@ -66,7 +66,7 @@ jobs:
     - name: Compile tests
       working-directory: build
       run: |
-        cmake -DBUILD_TESTING=ON -DBUILD_LIB=ON ..
+        cmake -DBUILD_TESTING=ON -DBUILD_LIB=ON -DBUILD_PLUGIN=ON ..
         make -j4
     - name: Run tests
       working-directory: build