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

GitHub Actions run

13 hours ago 78ed173 main push

Compare

Base
Search a run
Head
Merge main into backend-merge
#577
main
13 hours ago
Wall TimeCPU Simulation
Compare
Suggested base runs: •
212 total
tests[extract-vec-bench]
benches/ci_benchmarking.rs
85.9 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
726.2 ms
tests[typeinfer]
benches/ci_benchmarking.rs
240 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
11.4 ms
tests[herbie]
benches/ci_benchmarking.rs
302.8 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1 s
tests[cykjson]
benches/ci_benchmarking.rs
367.4 ms
tests[typeinfer]
benches/ci_benchmarking.rs
287.5 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
84.8 ms
tests[cykjson]
benches/ci_benchmarking.rs
531.3 ms
tests[array]
benches/ci_benchmarking.rs
Skipped
27.2 ms*
tests[bdd]
benches/ci_benchmarking.rs
Skipped
14.7 ms*
tests[print-function]
benches/ci_benchmarking.rs
Skipped
1.4 ms*
tests[bitwise]
benches/ci_benchmarking.rs
Skipped
930.2 µs*
tests[bool]
benches/ci_benchmarking.rs
Skipped
1.8 ms*
tests[birewrite]
benches/ci_benchmarking.rs
Skipped
1.9 ms*
tests[antiunify]
benches/ci_benchmarking.rs
Skipped
2.8 ms*
tests[repro-equal-constant2]
benches/ci_benchmarking.rs
Skipped
715 µs*
tests[repro-empty-query]
benches/ci_benchmarking.rs
Skipped
688 µs*
tests[bignum]
benches/ci_benchmarking.rs
Skipped
1.1 ms*
tests[combinators]
benches/ci_benchmarking.rs
Skipped
20.4 ms*
tests[before-proofs]
benches/ci_benchmarking.rs
Skipped
2 ms*
tests[push-pop]
benches/ci_benchmarking.rs
Skipped
821 µs*
© 2026 CodSpeed Technology
Home Terms Privacy Docs