Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

GitHub Actions run

14 days ago e2d2b08 main push

Compare

Base
Search a run
Head
Merge main into backend-merge
#577
main
14 days ago
CPU SimulationWall Time
Compare
Suggested base runs: •
240 total
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
285.5 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
12.3 ms
tests[taylor51]
benches/ci_benchmarking.rs
5.3 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
535.6 µs
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
33.9 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
26.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs
108.1 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
76.2 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
625.1 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs
9.9 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
1.5 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
17.8 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
280.7 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
3.1 s
tests[factoring-multisets]
benches/ci_benchmarking.rs
67.3 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
1 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
137.7 ms
tests[cykjson]
benches/ci_benchmarking.rs
440.2 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
15.9 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
127.6 ms
tests[herbie]
benches/ci_benchmarking.rs
168.2 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.5 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
24.5 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
8.2 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8 s
© 2026 CodSpeed Technology
Home Terms Privacy Docs