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