Updating actions scripts to the newer version - fixing MSYS2 script

marekpiotrow · Nov 26, 2023 · 4a986a9 · 4a986a9
1 parent ab2e9f2
commit 4a986a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/msys2-build.yml b/.github/workflows/msys2-build.yml
@@ -24,7 +24,7 @@ jobs:
     - name: build COMiniSatPS
       run: |
         cd ..
-        wget https://baldur.iti.kit.edu/sat-competition-2016/solvers/main/COMiniSatPSChandrasekharDRUP.zip
+        wget --no-check-certificate https://baldur.iti.kit.edu/sat-competition-2016/solvers/main/COMiniSatPSChandrasekharDRUP.zip
         unzip COMiniSatPSChandrasekharDRUP.zip
         mv 'COMiniSatPS Chandrasekhar DRUP/cominisatps' .
         cd cominisatps