feat: mock IVC state from arbitrary acir IVC recursion constraints #1931
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
| # Checks bb (barretenberg prover library) prover with sanitizers | |
| # Unlike most jobs uses free 4 core github runners of which we have lots of capacity (of total 1000 concurrency). | |
| name: BB MSAN | |
| on: | |
| push: | |
| branches: | |
| - master | |
| - "*/bb-sanitizers*" | |
| pull_request: | |
| types: [opened, synchronize, reopened, labeled] | |
| paths: | |
| - 'barretenberg/**' | |
| workflow_dispatch: | |
| inputs: {} | |
| concurrency: | |
| # force parallelism in master | |
| group: ci-${{ github.ref_name == 'master' && github.run_id || github.ref_name }} | |
| cancel-in-progress: true | |
| jobs: | |
| # acts as prover performance baseline | |
| bb-baseline: | |
| if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'bb-msan-check') | |
| runs-on: ubuntu-latest | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - uses: earthly/actions-setup@v1 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| - name: "Barretenberg Baseline Performance Check" | |
| run: earthly --no-cache ./barretenberg/cpp/+preset-check --preset=clang16 | |
| # memory sanitzer for prover | |
| bb-msan-check: | |
| if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'bb-msan-check') | |
| runs-on: ubuntu-latest | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - uses: earthly/actions-setup@v1 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| - name: "Barretenberg Prover MSAN Check" | |
| run: earthly --no-cache ./barretenberg/cpp/+preset-msan-check || true | |
| # address sanitzer for prover | |
| bb-asan-check: | |
| if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'bb-asan-check') | |
| runs-on: ubuntu-latest | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - uses: earthly/actions-setup@v1 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| - name: "Barretenberg Prover ASAN Check" | |
| timeout-minutes: 720 # 12 hour timeout (proving) | |
| run: earthly --no-cache ./barretenberg/cpp/+preset-check --preset=asan | |
| # address sanitzer for prover | |
| bb-tsan-check: | |
| if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'bb-tsan-check') | |
| runs-on: ubuntu-latest | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - uses: earthly/actions-setup@v1 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| - name: "Barretenberg Prover TSAN Check" | |
| timeout-minutes: 720 # 12 hour timeout (proving) | |
| run: earthly --no-cache ./barretenberg/cpp/+preset-check --preset=tsan || true | |
| # undefined behavior sanitzer for prover | |
| bb-ubsan-check: | |
| if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'bb-ubsan-check') | |
| runs-on: ubuntu-latest | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - uses: earthly/actions-setup@v1 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| - name: "Barretenberg Prover TSAN Check" | |
| timeout-minutes: 720 # 12 hour timeout (proving) | |
| run: earthly --no-cache ./barretenberg/cpp/+preset-check --preset=ubsan |