From 091865e99fbcafeed889a9c9d080ee0d0ff1ab86 Mon Sep 17 00:00:00 2001
From: Bart Louwers <bart@emeel.net>
Date: Tue, 31 Jan 2023 17:41:20 +0100
Subject: [PATCH] Actually build core in core-build.yml (#756)

---
 .github/workflows/{core-ci.yml => core-build.yml} | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 rename .github/workflows/{core-ci.yml => core-build.yml} (96%)

diff --git a/.github/workflows/core-ci.yml b/.github/workflows/core-build.yml
similarity index 96%
rename from .github/workflows/core-ci.yml
rename to .github/workflows/core-build.yml
index a95f15992..2f16f660d 100644
--- a/.github/workflows/core-ci.yml
+++ b/.github/workflows/core-build.yml
@@ -8,7 +8,7 @@ on:
     paths:
       - "src/**"
       - "include/**"
-      - "workflows/core-ci.yml"
+      - "workflows/core-build.yml"
       - "CMakeLists.txt"
 
 concurrency:
@@ -53,3 +53,4 @@ jobs:
         run: |
           cmake --version
           cmake -B build -DCMAKE_BUILD_TYPE=Debug -DMBGL_WITH_CORE_ONLY=ON -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DMBGL_WITH_COVERAGE=ON
+          cmake --build build