fix: fix test

leanprover · Jun 3, 2024 · 15135c1 · 15135c1
1 parent bd7be4e
commit 15135c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/functional_tests/subdirectory_lake_package/action.yml b/.github/functional_tests/subdirectory_lake_package/action.yml
@@ -26,4 +26,4 @@ runs:
       with:
         test: false
         use-github-cache: false
-        lake-package-directory: subdirectory
+        lake-package-directory: "a_subdirectory"