chore: drop no longer used super-linter

WeblateOrg · Jan 20, 2025 · 3495097 · 3495097
1 parent bf1d0a1
commit 3495097
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 38 deletions.
diff --git a/.github/workflows/super-linter.yml b/.github/workflows/super-linter.yml
diff --git a/sync.sh b/sync.sh
@@ -56,7 +56,6 @@ COPYFILES="
 
 # Update these files if present
 PRESENTFILES="
-    .github/workflows/super-linter.yml
     .github/matchers/sphinx-linkcheck.json
     .github/matchers/sphinx-linkcheck-warn.json
     .github/matchers/sphinx.json