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-05-31 #316075

Merged
merged 430 commits into from
Jun 12, 2024

Merge pull request #319332 from emilylange/staging-ninja-1.12-chromiu…

2ff09ea
Select commit
Loading
Failed to load commit list.
Merged

staging-next 2024-05-31 #316075

Merge pull request #319332 from emilylange/staging-ninja-1.12-chromiu…
2ff09ea
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jun 12, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 673.58 681.89 ↗ 8.31 1.23%
envs-bytes 21,380,937,344 21,392,757,632 ↗ 11,820,288 0.06%
envs-elements 1,126,130,110 1,126,714,018 ↗ 583,908 0.05%
envs-number 773,243,529 773,690,343 ↗ 446,814 0.06%
gc-heapSize 61,358,452,736 61,039,685,632 ↘ 318,767,104 -0.52%
gc-totalBytes 132,173,764,224 132,269,434,272 ↗ 95,670,048 0.07%
list-bytes 3,712,658,704 3,715,378,704 ↗ 2,720,000 0.07%
list-concats 85,819,989 85,863,036 ↗ 43,047 0.05%
list-elements 464,082,338 464,422,338 ↗ 340,000 0.07%
nrAvoided 898,936,196 899,598,708 ↗ 662,512 0.07%
nrFunctionCalls 710,995,691 711,437,348 ↗ 441,657 0.06%
nrLookups 370,485,063 370,653,516 ↗ 168,453 0.05%
nrOpUpdateValuesCopied 1,921,657,746 1,923,437,557 ↗ 1,779,811 0.09%
nrOpUpdates 88,197,261 88,267,917 ↗ 70,656 0.08%
nrPrimOpCalls 372,299,815 372,673,620 ↗ 373,805 0.10%
nrThunks 1,104,672,825 1,105,511,197 ↗ 838,372 0.08%
sets-bytes 43,594,195,104 43,628,810,976 ↗ 34,615,872 0.08%
sets-elements 2,560,000,495 2,562,039,676 ↗ 2,039,181 0.08%
sets-number 164,636,699 164,761,010 ↗ 124,311 0.08%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,486,266 2,486,399 ↗ 133 0.01%
symbols-number 173,113 173,130 ↗ 17 0.01%
values-bytes 33,928,996,128 33,950,126,688 ↗ 21,130,560 0.06%
values-number 1,413,708,172 1,414,588,612 ↗ 880,440 0.06%