chore(ci): drop super-linter

It is now all handled in pre-commit.
WeblateOrg · Jan 20, 2025 · d7a11b8 · d7a11b8
1 parent d42b98d
commit d7a11b8
Showing 1 changed file with 0 additions and 36 deletions.
diff --git a/.github/workflows/super-linter.yml b/.github/workflows/super-linter.yml