From f8bc3d223180c8f26730c01a30b607a70df38371 Mon Sep 17 00:00:00 2001 From: erki Date: Mon, 15 May 2023 23:46:22 +0300 Subject: [PATCH] Is this necessary? --- .gitea/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml index 5c02219..3a13f55 100644 --- a/.gitea/workflows/ci.yml +++ b/.gitea/workflows/ci.yml @@ -16,7 +16,7 @@ jobs: - name: Configure build working-directory: ${{runner.workspace}} run: | - cmake . -B${{runner.workspace}}/build -H$GITHUB_WORKSPACE \ + cmake . -B${{runner.workspace}}/build \ -G"Ninja" \ -DCMAKE_BUILD_TYPE=Release \ -DSKULLC_WITH_TESTS=ON