Update ci.yml

vgvassilev · Nov 27, 2023 · 1160a15 · 1160a15
1 parent 6b35496
commit 1160a15
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -483,6 +483,7 @@ jobs:
       run: |
         #brew update
         brew install --ignore-dependencies llvm
+        brew install z3
         # Update openssl on osx because the current one is deprecated by python.
         curl -L https://bootstrap.pypa.io/get-pip.py | sudo python3
         echo "/usr/local/opt/ccache/libexec" >> $GITHUB_PATH
@@ -720,7 +721,7 @@ jobs:
       if: ${{ failure() }}
       uses: mxschmitt/action-tmate@v3
       # When debugging increase to a suitable value!
-      timeout-minutes: ${{ github.event.pull_request && 1 || 20 }}
+      timeout-minutes: ${{ github.event.pull_request && 100 || 20 }}
     - name: Prepare code coverage report
       if: ${{ success() && (matrix.coverage == true) }}
       run: |