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

staging-next 2024-09-21 #343421

Open
wants to merge 851 commits into
base: master
Choose a base branch
from

Merge master into staging-next

5c3e5ec
Select commit
Loading
Failed to load commit list.
Open

staging-next 2024-09-21 #343421

Merge master into staging-next
5c3e5ec
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Oct 6, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 787.96 788.70 ↗ 0.73 0.09%
envs-bytes 23,904,137,056 23,944,733,080 ↗ 40,596,024 0.17%
envs-elements 1,267,893,624 1,269,710,695 ↗ 1,817,071 0.14%
envs-number 860,061,754 861,690,470 ↗ 1,628,716 0.19%
gc-heapSize 69,025,640,448 68,438,437,888 ↘ 587,202,560 -0.85%
gc-totalBytes 147,413,712,576 147,341,498,352 ↘ 72,214,224 -0.05%
list-bytes 3,478,401,136 3,476,409,448 ↘ 1,991,688 -0.06%
list-concats 91,334,942 91,268,629 ↘ 66,313 -0.07%
list-elements 434,800,142 434,551,181 ↘ 248,961 -0.06%
nrAvoided 997,973,412 997,956,396 ↘ 17,016 -0.00%
nrFunctionCalls 789,435,048 791,052,151 ↗ 1,617,103 0.20%
nrLookups 414,429,313 414,902,466 ↗ 473,153 0.11%
nrOpUpdateValuesCopied 2,158,546,142 2,153,224,767 ↘ 5,321,375 -0.25%
nrOpUpdates 99,525,155 99,988,629 ↗ 463,474 0.47%
nrPrimOpCalls 414,660,066 414,598,929 ↘ 61,137 -0.01%
nrThunks 1,254,474,653 1,255,519,980 ↗ 1,045,327 0.08%
sets-bytes 48,893,595,280 48,789,901,760 ↘ 103,693,520 -0.21%
sets-elements 2,870,960,292 2,864,320,026 ↘ 6,640,266 -0.23%
sets-number 184,889,413 185,048,834 ↗ 159,421 0.09%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,430,992 3,449,725 ↗ 18,733 0.55%
symbols-number 188,210 188,515 ↗ 305 0.16%
values-bytes 38,328,973,320 38,292,801,336 ↘ 36,171,984 -0.09%
values-number 1,597,040,555 1,595,533,389 ↘ 1,507,166 -0.09%