Merge pull request #2765 from informalsystems/add-hub-to-release-pipe…

…line Add the `hub` dependency to release CI
apalache-mc · Oct 23, 2023 · 34ddf5c · 34ddf5c
2 parents 92b96f5 + 5159060
commit 34ddf5c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/prepare-release.yml b/.github/workflows/prepare-release.yml
@@ -37,4 +37,5 @@ jobs:
           git config --global user.email "[email protected]"
       - name: Prepare release
         run: |
+          sudo apt-get update && sudo apt-get install -y hub
           ./script/release-prepare.sh
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -29,6 +29,7 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.APALACHE_BOT_TOKEN }}
           HEAD_REF: ${{ github.head_ref }}
         run: |
+          sudo apt-get update && sudo apt-get install -y hub
           git config --global user.name "$GITHUB_ACTOR"
           git config --global user.email "[email protected]"
           git checkout HEAD~1