From 9bedde6bf586a3773afedfb54f209021b8a9b547 Mon Sep 17 00:00:00 2001 From: Fabio Madge Date: Thu, 17 Oct 2024 11:08:35 +0200 Subject: [PATCH] try update --- .github/workflows/doc-tests.yml | 2 +- .github/workflows/integration-tests-reusable.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/doc-tests.yml b/.github/workflows/doc-tests.yml index c6a6811532..212fe5d652 100644 --- a/.github/workflows/doc-tests.yml +++ b/.github/workflows/doc-tests.yml @@ -37,7 +37,7 @@ jobs: path: dafny - name: Load Z3 run: | - sudo apt-get install -qq libarchive-tools + sudo apt-get update && sudo apt-get install -qq libarchive-tools mkdir -p dafny/Binaries/z3/bin wget -qO- https://github.com/dafny-lang/solver-builds/releases/download/snapshot-2023-08-02/z3-4.12.1-x64-ubuntu-20.04-bin.zip | bsdtar -xf - mv z3-* dafny/Binaries/z3/bin/ diff --git a/.github/workflows/integration-tests-reusable.yml b/.github/workflows/integration-tests-reusable.yml index 7dc0d80617..3df76e1cae 100644 --- a/.github/workflows/integration-tests-reusable.yml +++ b/.github/workflows/integration-tests-reusable.yml @@ -142,7 +142,7 @@ jobs: - name: Load Z3 if: "!inputs.all_platforms" run: | - sudo apt-get install -qq libarchive-tools + sudo apt-get update && sudo apt-get install -qq libarchive-tools mkdir -p dafny/Binaries/z3/bin wget -qO- https://github.com/dafny-lang/solver-builds/releases/download/snapshot-2023-08-02/z3-4.12.1-x64-ubuntu-20.04-bin.zip | bsdtar -xf - mv z3-4.12.1 dafny/Binaries/z3/bin/