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

GitHub Actions run

3 days ago cee45ab saulshanabrook:codex/primitive-context-mask-spike pull_request

Compare

Base
Search a run

Head
Clean up ExecutionState Refactor PR
#874
saulshanabrook:codex/primitive-context-mask-spike
3 days ago
CPU SimulationWall Time

Compare
Suggested base runs:
240 total
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
12.7 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
24.9 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
16.2 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
76.6 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
2.9 s
tests[typeinfer]
benches/ci_benchmarking.rs
108.1 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
34.6 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
128.3 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
1.5 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
548.2 µs
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
286.3 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
280.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs
129.5 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
965.1 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
344 µs
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
27 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
535.3 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
135.8 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
17.5 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
976.3 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
73 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
82.2 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
628.4 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
74.5 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs