chore: bump SP1 to v5.2.4 and helios to v0.10.2 #107
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: ELF | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| jobs: | |
| elf: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.ref }} | |
| - name: Install SP1 toolchain | |
| run: | | |
| curl -L https://sp1.succinct.xyz | bash | |
| ~/.sp1/bin/sp1up | |
| ~/.sp1/bin/cargo-prove prove --version | |
| source ~/.bashrc | |
| - name: Setup Docker Buildx | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Verify the SP1 Helios Binary | |
| run: | | |
| # Build the binaries | |
| cd program | |
| ~/.sp1/bin/cargo-prove prove build --docker --output-directory ../elf | |
| cd ../ | |
| # Check for any changes in the elf directory | |
| if [ -n "$(git status --porcelain elf/)" ]; then | |
| echo "❌ ELF files changed during build!" | |
| git diff elf/ | |
| exit 1 | |
| else | |
| echo "✅ ELF files remained unchanged" | |
| fi |