Merge pull request #304 from egraphs-good/saulshanabrook-patch-3

Enable walltime for codspeed

Author: saulshanabrook

.cargo/config.toml

@@ -0,0 +1,4 @@
+# https://doc.rust-lang.org/cargo/reference/config.html
+[build]
+# debug symbols https://pyo3.rs/main/debugging#common-setup
+rustflags = ["-g"]

.github/workflows/CI.yml

@@ -49,7 +49,11 @@ jobs:
       - run: make stubtest
 
   benchmark:
-    runs-on: ubuntu-latest
+    runs-on: ${{ matrix.runner }}
+    strategy:
+      matrix:
+        # Run on codspeed for walltime and ubuntu for instrumenentation
+        runner: [ codspeed-macro, ubuntu-latest ]
     steps:
       - uses: actions/checkout@v4
       - uses: astral-sh/setup-uv@v6

Cargo.lock

@@ -31,5 +31,5 @@ egglog = { git = "https://github.com/egraphs-good//egglog.git", rev = "6f4942824
 # 'https://github.com/egraphs-good/egglog.git#[email protected]' = { git = "https://github.com/egraphs-good/egglog.git", rev = "215714e1cbb13ae9e21bed2f2e1bf95804571512" }
 
 # enable debug symbols for easier profiling
-# [profile.release]
-# debug = 1
+[profile.release]
+debug = true