chore: validity, fault-proof
#660
Workflow file for this run
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: | |
| - runs-on | |
| - runner=64cpu-linux-x64 | |
| - run-id=${{ github.run_id }} | |
| 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 OP Succinct binaries | |
| run: | | |
| # Build the binaries | |
| cd programs/range | |
| ~/.sp1/bin/cargo-prove prove build --elf-name range-elf-bump --docker --tag v4.1.2 --output-directory ../../elf | |
| ~/.sp1/bin/cargo-prove prove build --elf-name range-elf-embedded --docker --tag v4.1.2 --output-directory ../../elf --features embedded | |
| cd ../aggregation | |
| ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag v4.1.2 --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 | |
| exit 1 | |
| else | |
| echo "✅ ELF files remained unchanged" | |
| fi |