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

Limit exclusion of info/dir in builder.pl, fixes #242394 #242532

Merged
merged 1 commit into from
Jul 10, 2023

buildenv: Limit exclusion of info/dir

ef2d657
Select commit
Loading
Failed to load commit list.
Merged

Limit exclusion of info/dir in builder.pl, fixes #242394 #242532

buildenv: Limit exclusion of info/dir
ef2d657
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jul 10, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 497.12 495.38 ↘ 1.73 -0.35%
envs-bytes 18,232,892,024 18,232,892,024 0
envs-elements 930,892,409 930,892,409 0
envs-number 674,109,547 674,109,547 0
gc-heapSize 41,729,105,920 41,729,110,016 ↗ 4,096 0.00%
gc-totalBytes 96,563,250,080 96,563,239,952 ↘ 10,128 -0.00%
list-bytes 2,781,243,080 2,781,243,080 0
list-concats 48,466,103 48,466,103 0
list-elements 347,655,385 347,655,385 0
nrAvoided 849,805,293 849,805,293 0
nrFunctionCalls 614,918,054 614,918,054 0
nrLookups 449,332,859 449,332,859 0
nrOpUpdateValuesCopied 1,194,169,173 1,194,169,173 0
nrOpUpdates 61,410,352 61,410,352 0
nrPrimOpCalls 377,912,228 377,912,228 0
nrThunks 874,521,991 874,521,991 0
sets-bytes 27,735,601,424 27,735,601,424 0
sets-elements 1,595,822,997 1,595,822,997 0
sets-number 137,652,092 137,652,092 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,581,810 2,581,810 0
symbols-number 170,905 170,905 0
values-bytes 25,342,091,664 25,342,091,664 0
values-number 1,055,920,486 1,055,920,486 0