diff --git a/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
similarity index 100%
rename from workflows/lean_action_ci.yml
rename to .github/workflows/lean_action_ci.yml