saulshanabrook:fix-build - Branch - egraphs-good/egglog

Pin cargo codspeed version to fix CI

#734Merged

Comparing

saulshanabrook:fix-build

(

2fb0be7

) with

main

(

ef90b97

)

Untouched: 20

Skipped: 190

No successful run was found on main ( 529f428) during the generation of this report, so ef90b97 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.

Benchmarks

Skipped (190)

Passed

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

97.5 ms96.8 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

+1%

10.8 ms10.7 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

734.3 ms731.1 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.4 s2.4 s

tests[cykjson]

benches/ci_benchmarking.rs

313.7 ms312.5 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

8.1 s8.1 s

tests[herbie]

benches/ci_benchmarking.rs

298.7 ms298.3 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.7 ms8.7 ms

tests[typeinfer]

benches/ci_benchmarking.rs

277.8 ms277.7 ms

tests[herbie]

benches/ci_benchmarking.rs

271.2 ms271.2 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

100.1 ms100 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.4 s8.4 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s6.8 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s1 s

tests[cykjson]

benches/ci_benchmarking.rs

488.9 ms489 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s1.5 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s2.5 s

tests[typeinfer]

benches/ci_benchmarking.rs

309.1 ms309.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.5 s8.6 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-2%

1.6 s1.6 s

Commits

Click on a commit to change the comparison range

Base

main

ef90b97

+0.04%

Pin cargo codspeed version to fix CI Closes #733 by pinning cargo codspeed version installed in CI The newer version causes an issue currently This PR at least fixed to the old working version so CI is not broken. In the future, we should keep this pinned to not get CI failing randomly

2fb0be7

12 days ago

by saulshanabrook

Home Terms Privacy Docs