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

GitHub Actions run

20 hours ago 4ca4a3a oflatt-proof-optimization pull_request

Compare

Base
Search a run
Head
Proof optimization- consolidate proof and view/UF tables
#850
oflatt-proof-optimization
20 hours ago
Wall TimeCPU Simulation
Compare
Suggested base runs: •
236 total
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
32 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
9.6 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
6.7 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
76.7 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
17.8 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
1.8 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
21.3 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
163.6 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
394.8 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.8 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
545.4 µs
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.8 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
290.2 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
78.7 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.9 s
tests[taylor51]
benches/ci_benchmarking.rs
4.4 s
tests[cykjson]
benches/ci_benchmarking.rs
512.4 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.8 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
964.4 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
8.9 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
39.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs
219.2 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
297.1 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
607.5 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs