Emilio Jesús Gallego Arias comments

Results 1449 comments of


                                            Emilio Jesús Gallego Arias

trafficstars

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

@coqbot bench

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

> What are the GC settings for the 5.2 version? We do the same; in the old PR we tried quite a few tweaks. @gasche indeed we have quite a...

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

Run with `init_gc () = ()`. @coqbot: bench (partial) results: ``` ┌────────────────────────────┬─────────────────────────┬──────────────────────────────────────┬──────────────────────────────────────┬──────────────────────────┐ │ │ user time [s] │ CPU cycles │ CPU instructions │ max resident mem [KB] │ │...

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

Bench again started to install different versions of packages; so the results will be not good.

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

Vanilla bench with current `master` @coqbot: bench

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

@coqbot: bench

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

@coqbot: bench

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

@coqbot: bench

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

@coqbot: bench

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

@coqbot: bench