-
Notifications
You must be signed in to change notification settings - Fork 223
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'master' into phated/lsp-wasm
* master: (61 commits) feat: Add generic count check for trait methods (#3382) feat!: avoid integer overflows (#2713) chore: Add a workflow to build with feature flag (#3378) chore: fix for-loop in aztec-library (#3377) feat!: return Pedersen structure in stdlib (#3190) feat: Manage breakpoints and allow restarting a debugging session (#3325) chore: small driver refactors (#3375) fix: fixing versioning workflow (#3296) feat!: noir-wasm outputs debug symbols (#3317) chore: build acvm_js for integration tests in parallel (#3368) chore: replace bash with `@actions/github-script` (#3369) feat(noir_js): allow providing foreign call handlers in noirJS (#3294) feat: Allow traits to have generic functions (#3365) chore(ci): ensure that acir artifacts are published on master (#3367) chore: cleanup CI workflows to be more consistent (#3366) fix: Use pedersen_hash for merkle tree (#3357) chore: format `for` stmt (#3333) fix!: move mimc to hash submodule (#3361) fix: remove sha2_block test (#3360) chore: deduplicate dependencies across the workspace (#3356) ...
- Loading branch information
Showing
615 changed files
with
9,521 additions
and
2,534 deletions.
There are no files selected for viewing
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
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,45 @@ | ||
| name: Build with aztec feature flag | ||
|
|
||
| on: | ||
| pull_request: | ||
| merge_group: | ||
| push: | ||
| branches: | ||
| - master | ||
|
|
||
| # This will cancel previous runs when a branch or PR is updated | ||
| concurrency: | ||
| group: ${{ github.workflow }}-${{ github.head_ref || github.ref || github.run_id }} | ||
| cancel-in-progress: true | ||
|
|
||
| jobs: | ||
| build-aztec-feature-flag: | ||
| name: Test on ${{ matrix.os }} | ||
| runs-on: ${{ matrix.runner }} | ||
| timeout-minutes: 30 | ||
|
|
||
| strategy: | ||
| fail-fast: false | ||
| matrix: | ||
| include: | ||
| - os: ubuntu | ||
| runner: ubuntu-latest | ||
| target: x86_64-unknown-linux-gnu | ||
|
|
||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v4 | ||
|
|
||
| - name: Setup toolchain | ||
| uses: dtolnay/[email protected] | ||
| with: | ||
| targets: ${{ matrix.target }} | ||
|
|
||
| - uses: Swatinem/rust-cache@v2 | ||
| with: | ||
| key: ${{ matrix.target }} | ||
| cache-on-failure: true | ||
| save-if: ${{ github.event_name != 'merge_group' }} | ||
|
|
||
| - name: Build with feature flag | ||
| run: cargo build --features="noirc_frontend/aztec" |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -2,12 +2,6 @@ name: Build docs | |
|
|
||
| on: | ||
| pull_request: | ||
| paths: | ||
| - 'docs/**' | ||
| types: | ||
| - opened | ||
| - synchronize | ||
| - labeled | ||
|
|
||
| jobs: | ||
| add_label: | ||
|
|
@@ -53,7 +47,7 @@ jobs: | |
| }) | ||
| } | ||
| deploy_docs: | ||
| build_and_deploy: | ||
| runs-on: ubuntu-latest | ||
| permissions: | ||
| pull-requests: write | ||
|
|
@@ -62,81 +56,32 @@ jobs: | |
| steps: | ||
| - name: Checkout code | ||
| uses: actions/checkout@v2 | ||
|
|
||
| - name: Netlify deploy | ||
| run: | | ||
| BRANCH_NAME=$(echo "${{ github.head_ref || github.ref }}" | sed -e "s#refs/[^/]*/##") | ||
| curl -X POST -d {} "https://api.netlify.com/build_hooks/${{ secrets.NETLIFY_BUILD_HOOK }}?trigger_branch=$BRANCH_NAME" | ||
| - name: Get deploy preview | ||
| id: get_deploy_preview | ||
| run: | | ||
| BRANCH_NAME=$(echo "${{ github.head_ref || github.ref }}" | sed -e "s#refs/[^/]*/##") | ||
| curl -X GET "https://api.netlify.com/api/v1/sites/${{ secrets.NETLIFY_SITE_ID }}/deploys?branch=$BRANCH_NAME" > deploy.json | ||
| echo "::set-output name=deploy_url::$(cat deploy.json | jq -r '.[0].deploy_ssl_url')" | ||
| - name: Add PR Comment | ||
| uses: mshick/add-pr-comment@v2 | ||
| with: | ||
| message: | | ||
| Hey @${{ github.event.pull_request.user.login }}! 🙌 | ||
| I'm the deployment bot for Noir Docs, and I've got some updates for you: | ||
| ## Deployment Status | ||
| Your latest changes are being deployed for preview! 🚀 | ||
| Click the badge to see logs 🧐 | ||
| [](https://app.netlify.com/sites/noir-docs-v2/deploys) | ||
| If you have any questions about this process, refer to our contribution guide or feel free to ask around. | ||
| - name: Check on deploy status | ||
| uses: ./.github/actions/docs/build-status | ||
| id: check_deploy_status | ||
| with: | ||
| branch-name: ${{ github.head_ref || github.ref }} | ||
| site-id: ${{ secrets.NETLIFY_SITE_ID }} | ||
| continue-on-error: true | ||
|
|
||
|
|
||
| - name: Debugging - print deploy_status | ||
| run: echo "${{ steps.check_deploy_status.outputs.deploy_status }}" | ||
|
|
||
|
|
||
| - name: Change PR Comment for Successful Deployment | ||
| if: steps.check_deploy_status.outputs.deploy_status == 'success' | ||
| uses: mshick/add-pr-comment@v2 | ||
|
|
||
| - name: Setup Node.js | ||
| uses: actions/setup-node@v2 | ||
| with: | ||
| message-success: | | ||
|  | ||
| I'm a bot, beep boop 🤖 | ||
| ## Deployment Status: Success! | ||
| [](https://app.netlify.com/sites/noir-docs-v2/deploys) | ||
| ## Preview | ||
| 🌐 [View Deployment Preview](${{ steps.get_deploy_preview.outputs.deploy_url }}) | ||
| node-version: '18' | ||
|
|
||
| - name: Change PR Comment for Failed Deployment | ||
| if: steps.check_deploy_status.outputs.deploy_status == 'failure' | ||
| uses: mshick/add-pr-comment@v2 | ||
| - name: Install dependencies | ||
| run: yarn | ||
|
|
||
| - name: Build docs | ||
| run: yarn workspace docs build | ||
|
|
||
| - name: Remove pre-releases | ||
| working-directory: docs | ||
| env: | ||
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | ||
| run: yarn setStable | ||
|
|
||
| - name: Deploy to Netlify | ||
| uses: nwtgck/[email protected] | ||
| with: | ||
| message: | | ||
|  | ||
| I'm a bot, beep boop 🤖 | ||
| ## Deployment Status: Failed ❌ | ||
| Deployment didn't succeed. Please check logs below and resolve the issue 🧐 | ||
| [](https://app.netlify.com/sites/noir-docs-v2/deploys) | ||
| - name: Fail the workflow if deployment failed | ||
| if: steps.check_deploy_status.outputs.deploy_status == 'failure' | ||
| run: exit 1 | ||
| publish-dir: './docs/build' | ||
| github-token: ${{ secrets.GITHUB_TOKEN }} | ||
| enable-github-deployment: false | ||
| deploy-message: "Deploy from GitHub Actions for PR ${{ github.event.number }}" | ||
| env: | ||
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | ||
| NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} | ||
| timeout-minutes: 1 | ||
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
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -18,9 +18,7 @@ jobs: | |
| ref: ${{ inputs.acvm-ref }} | ||
|
|
||
| - name: Setup toolchain | ||
| uses: dtolnay/rust-toolchain@master | ||
| with: | ||
| toolchain: 1.66.0 | ||
| uses: dtolnay/[email protected] | ||
|
|
||
| # These steps are in a specific order so crate dependencies are updated first | ||
| - name: Publish acir_field | ||
|
|
||
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,57 @@ | ||
| name: Publish Docs | ||
|
|
||
| on: | ||
| workflow_dispatch: | ||
| inputs: | ||
| tag: | ||
| description: The tag to build Docs for | ||
| required: false | ||
|
|
||
| jobs: | ||
| publish-docs: | ||
| runs-on: ubuntu-latest | ||
| if: ${{ inputs.tag != '' }} | ||
| permissions: | ||
| pull-requests: write | ||
| steps: | ||
| - name: Checkout sources | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| ref: ${{ inputs.tag }} | ||
|
|
||
| - name: Setup Node.js | ||
| uses: actions/setup-node@v2 | ||
| with: | ||
| node-version: '18' | ||
|
|
||
| - name: Install Yarn | ||
| run: npm install -g yarn | ||
|
|
||
| - name: Install Yarn dependencies | ||
| run: yarn | ||
|
|
||
| - name: Cut a new version | ||
| working-directory: ./docs | ||
| run: yarn docusaurus docs:version ${{ inputs.tag }} | ||
|
|
||
| - name: Remove pre-releases | ||
| id: get_version | ||
| run: | | ||
| cd docs && yarn setStable | ||
| - name: Build docs | ||
| run: yarn workspace docs build | ||
|
|
||
| - name: Deploy to Netlify | ||
| uses: nwtgck/[email protected] | ||
| with: | ||
| publish-dir: './docs/build' | ||
| production-branch: master | ||
| production-deploy: true | ||
| github-token: ${{ secrets.GITHUB_TOKEN }} | ||
| enable-github-deployment: false | ||
| deploy-message: "Deploy from GitHub Actions for tag ${{ inputs.tag }}" | ||
| env: | ||
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | ||
| NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} | ||
| timeout-minutes: 1 |
Oops, something went wrong.