fix: typo

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