Add a test that incorrect proof returned from oracle is failing in na… #5
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: circuit failing proof test | |
| on: [push] | |
| jobs: | |
| test: | |
| name: nargo test | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Install Nargo | |
| uses: noir-lang/noirup@v0.1.3 | |
| with: | |
| toolchain: 0.23.0 | |
| - name: Use Node.js 20.x | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: '20.x' | |
| - name: Enable Corepack and Install Yarn 4 | |
| run: | | |
| corepack enable | |
| yarn set version latest | |
| - name: Install Dependencies | |
| run: yarn install | |
| - name: Start Faulty Oracle Server | |
| env: | |
| RETURN_INVALID_PROOF: true | |
| working-directory: packages/noir-ethereum-api | |
| run: | | |
| yarn oracle-server & | |
| ORACLE_SERVER_PID=$! | |
| echo "ORACLE_SERVER_PID=$ORACLE_SERVER_PID" >> $GITHUB_ENV | |
| - name: Generate Proof | |
| run: | | |
| ! nargo prove --package main --oracle-resolver=http://localhost:5555 | |
| - name: Stop Faulty Oracle Server | |
| if: always() | |
| run: kill $ORACLE_SERVER_PID |