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

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