refactor: move functional tests to a dedicated directory (#49)

leanprover · Jun 3, 2024 · 862cf0d · 862cf0d
1 parent 08ca5dd
commit 862cf0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/functional_tests.yml → .../workflows/functional_tests/lake_init.yml b/.github/workflows/functional_tests.yml → .../workflows/functional_tests/lake_init.yml
@@ -6,7 +6,7 @@ on:
     paths:
       - "scripts/**"
       - "action.yml"
-      - ".github/workflows/functional_tests.yml"
+      - ".github/workflows/functional_tests/lake_init.yml"
   workflow_dispatch:
 
 jobs: