Merge branch 'fix-debug-print' into yihozhang-support-keep-best

egraphs-good · Oct 20, 2024 · 6bd6b17 · 6bd6b17
2 parents 396a1fa + d9e4ce0
commit 6bd6b17
Show file tree

Hide file tree

Showing 35 changed files with 678 additions and 331 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,6 +1,6 @@
 name: Build
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   test:
@@ -17,4 +17,16 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - uses: Swatinem/rust-cache@v2
-    - run: make nits
+    - run: make nits
+  benchmark:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-codspeed
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo codspeed build
+      - uses: CodSpeedHQ/action@v3
+        with:
+          run: cargo codspeed run