github/scroll
1
1
Fork 0
mirror of https://github.com/scroll-tech/scroll.git synced 2026-04-23 03:00:50 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix

Browse Source
This commit is contained in:
colinlyguo
2025-05-14 20:05:54 +08:00
parent 397b637729
commit 581262fa61
2 changed files with 52 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
.github/workflows/common.yml vendored
View File

@@ -42,19 +42,33 @@ jobs:
uses: Swatinem/rust-cache@v2
with:
workspaces: "common/libzkp/impl -> target"
- name: Combine all deploy keys
- name: Setup SSH for private repositories
run: |
echo "${{ secrets.OPENVM_GPU_SSH_PRIVATE_KEY }}" > key1
echo "${{ secrets.OPENVM_STARK_GPU_SSH_PRIVATE_KEY }}" > key2
echo "${{ secrets.PLONKY3_GPU_SSH_PRIVATE_KEY }}" > key3
cat key1 key2 key3 > all_keys
chmod 600 all_keys
- name: Setup SSH Agent
uses: webfactory/ssh-agent@v0.9.0
with:
ssh-private-key: ${{ steps.setup-keys.outputs.keys }}
env:
SSH_PRIVATE_KEY: ${{ secrets.OPENVM_GPU_SSH_PRIVATE_KEY }} # just for syntax correctness
mkdir -p ~/.ssh
chmod 700 ~/.ssh
cat > ~/.ssh/id_rsa_1 << 'EOL'
${{ secrets.OPENVM_GPU_SSH_PRIVATE_KEY }}
EOL
cat > ~/.ssh/id_rsa_2 << 'EOL'
${{ secrets.OPENVM_STARK_GPU_SSH_PRIVATE_KEY }}
EOL
cat > ~/.ssh/id_rsa_3 << 'EOL'
${{ secrets.PLONKY3_GPU_SSH_PRIVATE_KEY }}
EOL
chmod 600 ~/.ssh/id_rsa_*
eval "$(ssh-agent -s)" > /dev/null
ssh-add ~/.ssh/id_rsa_1 2>/dev/null
ssh-add ~/.ssh/id_rsa_2 2>/dev/null
ssh-add ~/.ssh/id_rsa_3 2>/dev/null
ssh-keyscan -t rsa github.com >> ~/.ssh/known_hosts 2>/dev/null
echo "Number of loaded keys: $(ssh-add -l | wc -l)"
- name: Lint
working-directory: 'common'
run: |

32
.github/workflows/docker.yml vendored
View File

@@ -307,13 +307,33 @@ jobs:
REPOSITORY: coordinator-api
run: |
aws --region ${{ env.AWS_REGION }} ecr describe-repositories --repository-names ${{ env.REPOSITORY }} && : || aws --region ${{ env.AWS_REGION }} ecr create-repository --repository-name ${{ env.REPOSITORY }}
- name: Combine all deploy keys
- name: Setup SSH for private repositories
run: |
echo "${{ secrets.OPENVM_GPU_SSH_PRIVATE_KEY }}" > key1
echo "${{ secrets.OPENVM_STARK_GPU_SSH_PRIVATE_KEY }}" > key2
echo "${{ secrets.PLONKY3_GPU_SSH_PRIVATE_KEY }}" > key3
cat key1 key2 key3 > all_keys
chmod 600 all_keys
mkdir -p ~/.ssh
chmod 700 ~/.ssh
cat > ~/.ssh/id_rsa_1 << 'EOL'
${{ secrets.OPENVM_GPU_SSH_PRIVATE_KEY }}
EOL
cat > ~/.ssh/id_rsa_2 << 'EOL'
${{ secrets.OPENVM_STARK_GPU_SSH_PRIVATE_KEY }}
EOL
cat > ~/.ssh/id_rsa_3 << 'EOL'
${{ secrets.PLONKY3_GPU_SSH_PRIVATE_KEY }}
EOL
chmod 600 ~/.ssh/id_rsa_*
eval "$(ssh-agent -s)" > /dev/null
ssh-add ~/.ssh/id_rsa_1 2>/dev/null
ssh-add ~/.ssh/id_rsa_2 2>/dev/null
ssh-add ~/.ssh/id_rsa_3 2>/dev/null
ssh-keyscan -t rsa github.com >> ~/.ssh/known_hosts 2>/dev/null
echo "Number of loaded keys: $(ssh-add -l | wc -l)"
- name: Setup SSH Agent
uses: webfactory/ssh-agent@v0.9.0
with: