Skip to content

Commit

Permalink
chore: test the toolchain on debian
Browse files Browse the repository at this point in the history
  • Loading branch information
leruaa committed Nov 8, 2024
1 parent b20676d commit 16d76ca
Show file tree
Hide file tree
Showing 2 changed files with 41 additions and 4 deletions.
28 changes: 28 additions & 0 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -274,6 +274,34 @@ jobs:
cd ./hello/program
$HOME/.sp1/bin/cargo-prove prove build
toolchain-test-ec2:
name: "Test toolchain installation (${{ matrix.name }})"
strategy:
fail-fast: false
matrix:
include:
# AMI from `us-east-1`
- name: "Debian 12 (x86_64)"
ec2-instance: "c5.2xlarge"
ami: "ami-064519b8c76274859"
volume: "/dev/xvda"
- name: "Debian 12 (ARM64)"
ec2-instance: "c6g.2xlarge"
ami: "ami-0789039e34e739d67"
volume: "/dev/xvda"
uses: "./.github/workflows/toolchain-ec2.yml"
with:
image-id: "${{ matrix.ami }}"
instance-type: "${{ matrix.ec2-instance }}"
root-volume: "${{ matrix.volume }}"
secrets:
AWS_REGION: "${{ secrets.AWS_REGION }}"
AWS_ACCESS_KEY_ID: "${{ secrets.AWS_ACCESS_KEY_ID }}"
AWS_SECRET_ACCESS_KEY: "${{ secrets.AWS_SECRET_ACCESS_KEY }}"
AWS_SUBNET_ID: "${{ secrets.AWS_SUBNET_ID }}"
AWS_SG_ID: "${{ secrets.AWS_SG_ID }}"
GH_PAT: "${{ secrets.GH_PAT }}"

cleanup:
name: Release cleanup
runs-on: ubuntu-latest
Expand Down
17 changes: 13 additions & 4 deletions .github/workflows/toolchain-ec2.yml
Original file line number Diff line number Diff line change
Expand Up @@ -94,13 +94,22 @@ jobs:
sudo apt-get update
sudo apt-get install -y build-essential pkg-config libssl-dev
- name: "Install cargo-prove"
- name: "Install SP1"
env:
SP1UP_VERSION: ${{ github.ref_name }}
run: |
cargo install --locked --path ./crates/cli
cd sp1up
chmod +x sp1up
./sp1up
- name: "Install SP1 toolchain"
- name: "Create SP1 project from template"
run: |
cargo prove install-toolchain --token ${{ secrets.GH_PAT }}
$HOME/.sp1/bin/cargo-prove prove new --bare hello
- name: "Build SP1 project"
run: |
cd ./hello/program
$HOME/.sp1/bin/cargo-prove prove build
stop-runner:
name: "Stop self-hosted EC2 runner"
Expand Down

0 comments on commit 16d76ca

Please sign in to comment.