Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Sync from noir #11847

Merged
merged 10 commits into from
Feb 10, 2025
2 changes: 1 addition & 1 deletion .noir-sync-commit
Original file line number Diff line number Diff line change
@@ -1 +1 @@
130d99125a09110a3ee3e877d88d83b5aa37f369
ac1da8f4b57290a67240973a7d6172cfbf5680a8
18 changes: 18 additions & 0 deletions noir/noir-repo/.github/actions/download-nargo/action.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
name: Download Nargo
description: Downloads the nargo binary from an artifact and adds it to the path

runs:
using: composite
steps:
- name: Download nargo binary
uses: actions/download-artifact@v4
with:
name: nargo
path: ./nargo

- name: Set nargo on PATH
shell: bash
run: |
nargo_binary="${{ github.workspace }}/nargo/nargo"
chmod +x $nargo_binary
echo "$(dirname $nargo_binary)" >> $GITHUB_PATH
27 changes: 0 additions & 27 deletions noir/noir-repo/.github/scripts/merge-bench-reports.sh

This file was deleted.

13 changes: 1 addition & 12 deletions noir/noir-repo/.github/workflows/formatting.yml
Original file line number Diff line number Diff line change
Expand Up @@ -123,18 +123,7 @@ jobs:
uses: actions/checkout@v4

- name: Download nargo binary
uses: actions/download-artifact@v4
with:
name: nargo
path: ./nargo

- name: Set nargo on PATH
run: |
nargo_binary="${{ github.workspace }}/nargo/nargo"
chmod +x $nargo_binary
echo "$(dirname $nargo_binary)" >> $GITHUB_PATH
export PATH="$PATH:$(dirname $nargo_binary)"
nargo -V
uses: ./.github/actions/download-nargo

- name: Format stdlib
working-directory: ./noir_stdlib
Expand Down
Loading
Loading