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

GitHub Actions run

CPU SimulationWall Time

14 hours ago 9f11c5f ezr-oflatt-refactor-proofs-4 pull_request

Compare

Base

Search a run

Head

Proofs refactors

#725

ezr-oflatt-refactor-proofs-4

14 hours ago

CPU SimulationWall Time

Compare

Suggested base runs: •

Skipped (190)

Benchmarks

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s

tests[taylor51]

benches/ci_benchmarking.rs

6.6 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.3 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.4 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

8.4 s

tests[taylor51]

benches/ci_benchmarking.rs

5.9 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.8 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.8 ms

tests[herbie]

benches/ci_benchmarking.rs

311.9 ms

tests[typeinfer]

benches/ci_benchmarking.rs

316.1 ms

tests[cykjson]

benches/ci_benchmarking.rs

318.6 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

102.8 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

719.9 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

9.3 ms

tests[herbie]

benches/ci_benchmarking.rs

276.9 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

102.6 ms

tests[cykjson]

benches/ci_benchmarking.rs

487.3 ms

tests[typeinfer]

benches/ci_benchmarking.rs

280.6 ms

Home Terms Privacy Docs