Merge pull request #41 from DanielSchuessler/fix-ci-tptp-url

GitHub Actions: update TPTP-v7.5.0.tgz URL
DanielSchuessler · Sep 4, 2024 · c5c0b72 · c5c0b72
2 parents 209e488 + 87b6d02
commit c5c0b72
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