Fix Rust CI (#638)

smithy-lang · Oct 17, 2024 · 7a488d6 · 7a488d6
1 parent 7982ad4
commit 7a488d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/build_dafny_from_source/action.yml b/.github/actions/build_dafny_from_source/action.yml
@@ -25,7 +25,7 @@ runs:
     - name: Load Z3
       shell: bash
       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/