From 4a986a9f735f6675c16226eb5f16dcfb8adf4c0e Mon Sep 17 00:00:00 2001 From: M Piotrow Date: Sun, 26 Nov 2023 19:42:03 +0100 Subject: [PATCH] Updating actions scripts to the newer version - fixing MSYS2 script --- .github/workflows/msys2-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/msys2-build.yml b/.github/workflows/msys2-build.yml index 02a73a7..f8b16be 100644 --- 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