From ddb6a2de86d2de283d07536859dea113c658181f Mon Sep 17 00:00:00 2001 From: astefano Date: Thu, 4 Jun 2026 13:06:45 +0200 Subject: [PATCH] ci: move workflow to .github/workflows so Actions runs it The workflow lived at `workflows/lean_action_ci.yml`; GitHub Actions only discovers workflows under `.github/workflows/`, so it never ran (the repo has no recorded Actions runs). Co-Authored-By: Claude Opus 4.6 --- {workflows => .github/workflows}/lean_action_ci.yml | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {workflows => .github/workflows}/lean_action_ci.yml (100%) 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