Skip to content

Commit

Permalink
Add rust to release system dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
jordancarlin committed Mar 8, 2025
1 parent 78940a7 commit 6781236
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -53,14 +53,15 @@ jobs:
findutils \
diffutils \
rsync \
which
which \
cargo
curl -L -o /usr/local/bin/opam https://github.com/ocaml/opam/releases/download/2.1.5/opam-2.1.5-i686-linux
chmod +x /usr/local/bin/opam
- name: System dependencies (Mac)
if: startsWith(matrix.os, 'macos')
run: |
brew install --force --overwrite gpatch gmp z3 pkgconf opam git
brew install --force --overwrite gpatch gmp z3 pkgconf opam git rust
- uses: actions/checkout@v4

Expand Down

0 comments on commit 6781236

Please sign in to comment.