From df305721c834f1a6523586d87d5f8d09b61068df Mon Sep 17 00:00:00 2001 From: amai2012 Date: Sun, 31 Jan 2021 21:46:14 +0100 Subject: [PATCH] Update Z3 version Update to Z3 4.8.10 --- .github/workflows/CI-windows.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/CI-windows.yml b/.github/workflows/CI-windows.yml index 90801752f..d9f317e36 100644 --- a/.github/workflows/CI-windows.yml +++ b/.github/workflows/CI-windows.yml @@ -51,7 +51,7 @@ jobs: move externals\z3-%Z3_VERSION%-x64-win externals\z3 env: # see https://github.com/Z3Prover/z3/releases: - Z3_VERSION: 4.8.9 + Z3_VERSION: 4.8.10 - name: Install Qt uses: jurplel/install-qt-action@v2 @@ -68,10 +68,7 @@ jobs: - name: Deploy GUI run: | - dir Build - dir Build\gui windeployqt Build\gui - dir Build\gui del Build\gui\cppcheck-gui.ilk del Build\gui\cppcheck-gui.pdb