-
Notifications
You must be signed in to change notification settings - Fork 325
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[1 changes] chore!: remove deprecated hash functions from stdlib (noi…
…r-lang/noir#7477) fix(frontend)!: Restrict capturing mutable variable in lambdas (noir-lang/noir#7488) feat: perform constant sha256 compressions at compile-time (noir-lang/noir#7566) chore: bump external pinned commits (noir-lang/noir#7565) chore(ssa): Turn the Brillig constraints check back on by default (noir-lang/noir#7404) chore: bump external pinned commits (noir-lang/noir#7561) chore: address some frontend tests TODOs (noir-lang/noir#7554) fix: shift right overflow in ACIR with unknown var now returns zero (noir-lang/noir#7509) chore(cli): Forward `nargo execute` to `noir_artifact_cli` (noir-lang/noir#7406) feat: Support `<Type as Trait>::method` in expressions (noir-lang/noir#7551) chore: remove FileDiagnostic (noir-lang/noir#7546) chore: add some extra tests (noir-lang/noir#7544) fix: fix a few cases where safety comment wasn't correctly identified (noir-lang/noir#7548) chore!: remove U128 struct from stdlib (noir-lang/noir#7529) feat: simplify simple conditionals for brillig (noir-lang/noir#7205) chore: put RcTracker as part of the DIE context (noir-lang/noir#7309)
- Loading branch information
Showing
761 changed files
with
27,300 additions
and
11,990 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| fdfe2bf752771b9611dc71953d50423b4ae7ec44 | ||
| a5b47df4d7c1da746f5377f9c1d35b5a06ea5648 |
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 |
|---|---|---|
|
|
@@ -6,8 +6,8 @@ cd $(dirname "$0") | |
| ./cargo-binstall-install.sh | ||
|
|
||
| # Install wasm-bindgen-cli. | ||
| if [ "$(wasm-bindgen --version &> /dev/null | cut -d' ' -f2)" != "0.2.86" ]; then | ||
| if [ "$(wasm-bindgen --version &> /dev/null | cut -d' ' -f2)" != "0.2.100" ]; then | ||
| echo "Building wasm-bindgen..." | ||
| cargo binstall [email protected].86 --force --no-confirm | ||
| cargo binstall [email protected].100 --force --no-confirm | ||
| fi | ||
|
|
||
50 changes: 50 additions & 0 deletions
50
noir/noir-repo/.github/workflows/bump-aztec-packages-commit.yml
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,50 @@ | ||
| name: Bump external repos pinned commits | ||
|
|
||
| on: | ||
| workflow_dispatch: | ||
| schedule: | ||
| # Trigger at 8am on Mondays | ||
| - cron: '0 8 * * 1' | ||
|
|
||
|
|
||
| jobs: | ||
| bump-commit: | ||
| name: Update external repo pinned commits | ||
| runs-on: ubuntu-22.04 | ||
| steps: | ||
| - name: Checkout repo | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| ref: master | ||
|
|
||
| - name: Check for existing PR | ||
| id: pr-check | ||
| run: | | ||
| set -xue # print commands | ||
| PR_URL=$(gh pr list --repo noir-lang/noir --head bump-aztec-packages --json url --jq ".[0].url") | ||
| echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT | ||
| env: | ||
| GH_TOKEN: ${{ github.token }} | ||
|
|
||
| - name: Configure git | ||
| run: | | ||
| git config user.name noirwhal | ||
| git config user.email [email protected] | ||
| - name: Update commit | ||
| run: | | ||
| git checkout bump-aztec-packages || git checkout -b bump-aztec-packages | ||
| ./scripts/bump-aztec-packages-commit.sh | ||
| git add . | ||
| git commit -m 'chore: Update pinned commit of aztec-packages' | ||
| git push --set-upstream origin bump-aztec-packages --force | ||
| - name: Create PR | ||
| if: ${{ steps.pr-check.outputs.pr_url == '' }} | ||
| run: | | ||
| PR_BODY=""" | ||
| Automated update of the pinned commit of [aztec-packages](https://github.com/AztecProtocol/aztec-packages) repository against which we run benchmarks. | ||
| """ | ||
| gh pr create --repo noir-lang/noir --title "chore: bump external pinned commits" --body "$PR_BODY" --base master --head bump-aztec-packages | ||
| env: | ||
| GH_TOKEN: ${{ secrets.NOIR_REPO_TOKEN }} |
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 |
|---|---|---|
|
|
@@ -33,7 +33,7 @@ jobs: | |
| // Check if any file is within the 'docs' folder | ||
| const docsChanged = files.some(file => file.filename.startsWith('docs/')); | ||
| return docsChanged; | ||
| - name: Add label if not present | ||
| if: steps.check-labels.outputs.result == 'true' | ||
| uses: actions/[email protected] | ||
|
|
@@ -57,7 +57,7 @@ jobs: | |
| uses: actions/checkout@v4 | ||
|
|
||
| - name: Setup toolchain | ||
| uses: dtolnay/rust-toolchain@1.75.0 | ||
| uses: dtolnay/rust-toolchain@1.85.0 | ||
|
|
||
| - uses: Swatinem/rust-cache@v2 | ||
| with: | ||
|
|
@@ -71,7 +71,7 @@ jobs: | |
| - name: Install wasm-bindgen-cli | ||
| uses: taiki-e/install-action@v2 | ||
| with: | ||
| tool: [email protected].86 | ||
| tool: [email protected].100 | ||
|
|
||
| - name: Install wasm-opt | ||
| run: | | ||
|
|
@@ -102,13 +102,13 @@ jobs: | |
| steps: | ||
| - name: Checkout code | ||
| uses: actions/checkout@v4 | ||
|
|
||
| - name: Download built docs | ||
| uses: actions/download-artifact@v4 | ||
| with: | ||
| name: docs | ||
| path: ./docs/build | ||
|
|
||
| - name: Deploy to Netlify | ||
| uses: nwtgck/[email protected] | ||
| with: | ||
|
|
||
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 |
|---|---|---|
|
|
@@ -22,12 +22,12 @@ jobs: | |
| - name: Install wasm-bindgen-cli | ||
| uses: taiki-e/install-action@v2 | ||
| with: | ||
| tool: [email protected].86 | ||
| tool: [email protected].100 | ||
|
|
||
| - name: Install wasm-opt | ||
| run: | | ||
| npm i wasm-opt -g | ||
| - name: Query active docs versions | ||
| run: yarn workspace docs version::stables | ||
|
|
||
|
|
||
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
Oops, something went wrong.