fix(ci): elf workflow (#26) #10
This file contains 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 --elf-name sp1-helios-elf --docker --tag v4.0.0-rc.10 --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 |