GitHub Actions: update TPTP-v7.5.0.tgz URL

DanielSchuessler · Sep 4, 2024 · 87b6d02 · 87b6d02
1 parent 209e488
commit 87b6d02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -42,6 +42,6 @@ jobs:
       run: cabal test all
     - name: Run TPTP test
       run: |
-        curl -L -o TPTP-v7.5.0.tgz https://www.tptp.org/TPTP/Archive/TPTP-v7.5.0.tgz
+        curl -L -o TPTP-v7.5.0.tgz https://tptp.org/TPTP/Archive/TPTP-v7.5.0.tgz
         tar zxf TPTP-v7.5.0.tgz
         find -H TPTP-v7.5.0/Problems -type f -name "*.p" -size -512k | cabal run TestImportExportImportFile -- False --print-failure-only