Skip to content

Commit

Permalink
Add profiling github action
Browse files Browse the repository at this point in the history
  • Loading branch information
LogvinovLeon committed Jan 25, 2024
1 parent e74df97 commit 0ccdcd5
Show file tree
Hide file tree
Showing 2 changed files with 28 additions and 0 deletions.
27 changes: 27 additions & 0 deletions .github/workflows/circuits_profile.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
name: circuit profiling

on: [push]

jobs:
test:
name: nargo info
runs-on: ubuntu-latest

steps:
- name: Checkout
uses: actions/checkout@v4

- name: Install Nargo
uses: noir-lang/[email protected]
with:
toolchain: nightly-2024-01-11 # Pin at 0.23.0 when it's released. We need nightly now as 0.22.0 doesn't have the oracles

- name: Run nargo info
run: nargo info --workspace --silence-warnings | tee profiling_info.txt

- name: Archive profiling artifacts
uses: actions/upload-artifact@v4
with:
name: profiling_info
path: |
profiling_info.txt
1 change: 1 addition & 0 deletions .github/workflows/circuits_test.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -15,5 +15,6 @@ jobs:
uses: noir-lang/[email protected]
with:
toolchain: nightly-2024-01-11 # Pin at 0.23.0 when it's released. We need nightly now as 0.22.0 doesn't have the oracles

- name: Run nargo test
run: nargo test --workspace

0 comments on commit 0ccdcd5

Please sign in to comment.