From 532b8caf4f3c5b977783a1394145384731e41b0a Mon Sep 17 00:00:00 2001 From: jupblb Date: Wed, 22 Apr 2026 12:45:52 +0200 Subject: [PATCH] ci: pass --project-root to scip stats to suppress warning --- .github/workflows/test.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index 61923c6..53c2f88 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -121,7 +121,7 @@ jobs: echo "Index size: $size bytes" [ "$size" -ge 1024 ] || { echo "FAIL: index too small"; exit 1; } - scip stats --from "$GITHUB_WORKSPACE/index.scip" \ + scip stats --from "$GITHUB_WORKSPACE/index.scip" --project-root . \ | jq -e '.documents > 0 and .occurrences > 0 and .definitions > 0' scip print --json "$GITHUB_WORKSPACE/index.scip" \