From d1605f87a2bb73dfd691976760cb69701a7d4f5d Mon Sep 17 00:00:00 2001 From: Moros Smith Date: Thu, 17 Sep 2026 15:22:32 -0400 Subject: [PATCH] [github] update cmake command to use dev as source directory --- .github/workflows/check-single-header.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/check-single-header.yml b/.github/workflows/check-single-header.yml index b7c7b9c0..96f2e093 100644 --- a/.github/workflows/check-single-header.yml +++ b/.github/workflows/check-single-header.yml @@ -24,7 +24,7 @@ jobs: - name: Build and run single header amalgamation tool (olcGimmeHead) run: | - cmake -S . -B build -DCMAKE_BUILD_TYPE=Release + cmake -S dev -B build -DCMAKE_BUILD_TYPE=Release cmake --build build --config=Release - name: Check that both headers are identical