diff --git a/.github/workflows/plonk-artifacts.yml b/.github/workflows/plonk-artifacts.yml index f7d455081..3122a1305 100644 --- a/.github/workflows/plonk-artifacts.yml +++ b/.github/workflows/plonk-artifacts.yml @@ -33,6 +33,7 @@ jobs: uses: ./.github/actions/setup with: pull_token: ${{ secrets.REPO_TOKEN }} + perf: false - name: Install AWS CLI run: | sudo apt-get update @@ -80,8 +81,6 @@ jobs: echo "VERSION=$VERSION" | tee -a $GITHUB_ENV echo "needs-update=$NEEDS_UPDATE" | tee -a $GITHUB_OUTPUT - # Disable `SP1_DEV` as it breaks artifact generation - echo "SP1_DEV=false" | tee -a $GITHUB_ENV - name: Generate Plonk artifacts if: ${{ steps.check-s3.outputs.needs-update == 'true' }} run: |