chore: Deprecate F40 (#5130) (#5449)

(cherry picked from commit f9a1ebd7e5) Signed-off-by: RockGrub <RockGrub@users.noreply.github.com>
2026-06-10 21:50:39 +00:00 · 2025-06-15 11:06:41 -05:00
parent e457ce39c4
commit bfcfe6d99e
6 changed files with 1 additions and 6 deletions
@@ -46,7 +46,6 @@ jobs:
              git add anda
              git commit -S -a -m "$msg"
            }
-            copy_over f40 || true
            copy_over f41 || true
            copy_over el10 || true
            git push -u origin --all