Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamlPackages.elpi: use release tarball #343266

Merged
merged 2 commits into from
Sep 23, 2024

Adding a github artifact option

ade0a33
Select commit
Loading
Failed to load commit list.
Merged

ocamlPackages.elpi: use release tarball #343266

Adding a github artifact option
ade0a33
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 20, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 766.48 764.41 ↘ 2.07 -0.27%
envs-bytes 23,774,603,160 23,777,407,184 ↗ 2,804,024 0.01%
envs-elements 1,260,946,479 1,261,073,518 ↗ 127,039 0.01%
envs-number 855,439,458 855,551,190 ↗ 111,732 0.01%
gc-heapSize 69,008,855,040 69,277,290,496 ↗ 268,435,456 0.39%
gc-totalBytes 146,811,735,568 146,821,776,144 ↗ 10,040,576 0.01%
list-bytes 3,462,330,560 3,462,459,832 ↗ 129,272 0.00%
list-concats 90,736,137 90,736,133 ↘ 4 -0.00%
list-elements 432,791,320 432,807,479 ↗ 16,159 0.00%
nrAvoided 991,387,261 991,594,384 ↗ 207,123 0.02%
nrFunctionCalls 785,228,922 785,319,370 ↗ 90,448 0.01%
nrLookups 411,877,542 411,893,478 ↗ 15,936 0.00%
nrOpUpdateValuesCopied 2,151,440,053 2,151,450,915 ↗ 10,862 0.00%
nrOpUpdates 99,039,433 99,039,429 ↘ 4 -0.00%
nrPrimOpCalls 411,404,594 411,489,756 ↗ 85,162 0.02%
nrThunks 1,247,794,796 1,247,906,119 ↗ 111,323 0.01%
sets-bytes 48,750,023,456 48,751,564,704 ↗ 1,541,248 0.00%
sets-elements 2,862,673,240 2,862,748,292 ↗ 75,052 0.00%
sets-number 184,203,226 184,224,502 ↗ 21,276 0.01%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,151,320 3,151,319 ↘ 1 -0.00%
symbols-number 184,690 184,688 ↘ 2 -0.00%
values-bytes 38,202,580,392 38,206,030,800 ↗ 3,450,408 0.01%
values-number 1,591,774,183 1,591,917,950 ↗ 143,767 0.01%