Add release key to create release job

angr · May 29, 2024 · 06b2604 · 06b2604
1 parent ac3b3a7
commit 06b2604
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/angr-release.yml b/.github/workflows/angr-release.yml
@@ -30,6 +30,14 @@ jobs:
  run: |
  git config --global user.name "github-actions[bot]"
  git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
+ - name: Add release key
+ run: |
+ mkdir -p ~/.ssh
+ echo "${RELEASE_KEY}" > ~/.ssh/id_rsa
+ chmod 600 ~/.ssh/id_rsa
+ ssh-keyscan github.com >> ~/.ssh/known_hosts
+ env:
+ RELEASE_SSH_KEY: ${{ secrets.RELEASE_KEY }}
  - name: Checkout repos
  run: release-scripts/checkout_repos.sh
  - name: Create release commits

diff --git a/release-scripts/checkout_repos.sh b/release-scripts/checkout_repos.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 source $(dirname $0)/vars.sh