[TOOLS] update filter list

2026-06-05 11:41:37 +02:00
parent 7c1f66263e
commit 922ed6c8d2
2 changed files with 1 additions and 2 deletions
@@ -49,7 +49,7 @@ jobs:

            echo "Downloading $url -> $file"

-            if ! curl -fL "$url" -o "main/out/filters/$file"; then
+            if ! curl -fsSL "$url" -o "main/out/filters/$file"; then
              echo "FAILED: $url"
              FAILED+=("$file")
            fi