Fix doc-tests.yml

dafny-lang · Jul 4, 2024 · 6c6b310 · 6c6b310
1 parent a4fdd20
commit 6c6b310
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/.github/workflows/doc-tests.yml b/.github/workflows/doc-tests.yml
@@ -36,12 +36,11 @@ jobs:
         submodules: recursive
         path: dafny
     - name: Load Z3
+      with:
+        path: dafny
       run: |
         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/
-        chmod +x dafny/Binaries/z3/bin/z3-*
+        make z3-ubuntu
     - name: Build Dafny
       run: dotnet build dafny/Source/Dafny.sln
     - name: Check generated error catalog

diff --git a/boogie b/boogie