Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 27, 2023 · 7f6b4f8 · 7f6b4f8
2 parents f851bc8 + 5dc19b3
commit 7f6b4f8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -186,6 +186,9 @@ jobs:
           submodules: recursive
           path: kframework
 
+      - name: Install script dependencies
+        run: brew install wget
+
       - name: Check out matching homebrew repo branch
         uses: actions/checkout@v3
         id: checkout