Add criterion benchmark (#107)

* WIP: add criterion benchmark * Verify benchmark trace is valid * cleanup * Move TestCircuit into own file and add bench feature * Add bench job * cleanup --------- Co-authored-by: Mason Liang <[email protected]>
scroll-tech · Nov 27, 2023 · 9325879 · 9325879
1 parent 803c349
commit 9325879
Show file tree

Hide file tree

Showing 10 changed files with 80,474 additions and 191 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -34,3 +34,13 @@ jobs:
           toolchain: nightly-2022-12-10
           override: true
       - run: make test
+  bench:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly-2022-12-10
+          override: true
+      - run: make bench