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

postgresql: split -lib and -dev outputs cleanly #294504

Merged
merged 6 commits into from
Aug 24, 2024

postgresql: refactor to simplify condition

73cb403
Select commit
Loading
Failed to load commit list.
Merged

postgresql: split -lib and -dev outputs cleanly #294504

postgresql: refactor to simplify condition
73cb403
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Aug 23, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 730.50 730.21 ↘ 0.29 -0.04%
envs-bytes 23,194,721,280 23,195,542,528 ↗ 821,248 0.00%
envs-elements 1,231,197,514 1,231,243,450 ↗ 45,936 0.00%
envs-number 834,071,323 834,099,683 ↗ 28,360 0.00%
gc-heapSize 67,800,899,584 67,800,895,488 ↘ 4,096 -0.00%
gc-totalBytes 143,587,265,488 143,596,080,688 ↗ 8,815,200 0.01%
list-bytes 3,287,619,384 3,287,726,176 ↗ 106,792 0.00%
list-concats 87,664,735 87,667,065 ↗ 2,330 0.00%
list-elements 410,952,423 410,965,772 ↗ 13,349 0.00%
nrAvoided 965,772,616 965,800,597 ↗ 27,981 0.00%
nrFunctionCalls 765,344,360 765,371,214 ↗ 26,854 0.00%
nrLookups 400,613,341 400,626,347 ↗ 13,006 0.00%
nrOpUpdateValuesCopied 2,112,627,172 2,112,691,708 ↗ 64,536 0.00%
nrOpUpdates 96,865,139 96,867,599 ↗ 2,460 0.00%
nrPrimOpCalls 400,234,036 400,242,956 ↗ 8,920 0.00%
nrThunks 1,220,413,620 1,220,452,412 ↗ 38,792 0.00%
sets-bytes 47,862,199,792 47,863,648,448 ↗ 1,448,656 0.00%
sets-elements 2,811,086,830 2,811,172,181 ↗ 85,351 0.00%
sets-number 180,300,657 180,305,847 ↗ 5,190 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,946,967 2,946,967 0
symbols-number 179,870 179,870 0
values-bytes 37,352,108,736 37,353,177,240 ↗ 1,068,504 0.00%
values-number 1,556,337,864 1,556,382,385 ↗ 44,521 0.00%