From 6781236a6142b467cce2afef84ee0ab006132032 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Sat, 8 Mar 2025 00:12:54 -0800 Subject: [PATCH] Add rust to release system dependencies --- .github/workflows/release.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index fb23ab850..583769aa6 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -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