GitHub Actions run on branch ezr-oflatt-refactor-proofs-4 - egraphs-good/egglog

GitHub Actions run

CPU SimulationWall Time

1 day ago 91502bb ezr-oflatt-refactor-proofs-4 pull_request

Compare

Base

Search a run

Head

Proofs refactors

#725

ezr-oflatt-refactor-proofs-4

1 day ago

CPU SimulationWall Time

Compare

Suggested base runs: •

Skipped (190)

Benchmarks

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.3 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

8.3 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.7 s

tests[taylor51]

benches/ci_benchmarking.rs

5.9 s

tests[taylor51]

benches/ci_benchmarking.rs

6.5 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.4 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.5 ms

tests[herbie]

benches/ci_benchmarking.rs

308.5 ms

tests[cykjson]

benches/ci_benchmarking.rs

315.7 ms

tests[typeinfer]

benches/ci_benchmarking.rs

313 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

101.8 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

736.1 ms

tests[cykjson]

benches/ci_benchmarking.rs

488.5 ms

tests[typeinfer]

benches/ci_benchmarking.rs

279.3 ms

tests[herbie]

benches/ci_benchmarking.rs

276.3 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

9.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

101.5 ms

Home Terms Privacy Docs