Enable walltime for codspeed

.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,22 +49,26 @@
       - 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
         with:
           enable-cache: true
       - uses: dtolnay/rust-toolchain@1.79.0
       - uses: Swatinem/rust-cache@v2
       - run: uv sync --extra test --locked
       - uses: CodSpeedHQ/action@v3
         with:
           token: ${{ secrets.CODSPEED_TOKEN }}
           # allow updating snapshots due to indeterministic benchmarks
           run: uv run pytest -vvv -n auto  --snapshot-update
 
   docs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4

Cargo.toml

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