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

GitHub Actions run

13 days ago 302b593 oflatt-3mm pull_request

Compare

Base
Search a run
Head
Add eggcc 2mm test file
#824
oflatt-3mm
13 days ago
Wall TimeCPU Simulation
Compare
Suggested base runs: • •
230 total
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
14.5 ms
tests[typeinfer]
benches/ci_benchmarking.rs
239.3 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
38.8 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs
17.7 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
6.9 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
412.7 µs
tests[cykjson]
benches/ci_benchmarking.rs
531.3 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
286.5 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
10.9 ms
tests[herbie]
benches/ci_benchmarking.rs
289.2 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
32.4 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
23.3 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
295.7 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.1 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.6 s
tests[eggcc-2mm]
benches/ci_benchmarking.rs
12.6 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
719.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
8.3 ms
tests[herbie]
benches/ci_benchmarking.rs
250.7 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
403.5 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.9 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
39.6 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
37 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
274.4 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs