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-15 - last for 24.05 #312133

Merged
merged 201 commits into from
May 21, 2024

Merge remote-tracking branch 'origin/master' into staging-next

7b015fb
Select commit
Loading
Failed to load commit list.
Merged

staging-next 2024-05-15 - last for 24.05 #312133

Merge remote-tracking branch 'origin/master' into staging-next
7b015fb
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded May 21, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 654.81 650.94 ↘ 3.87 -0.59%
envs-bytes 20,244,595,296 20,253,341,656 ↗ 8,746,360 0.04%
envs-elements 1,067,972,682 1,068,407,397 ↗ 434,715 0.04%
envs-number 731,300,865 731,630,155 ↗ 329,290 0.05%
gc-heapSize 56,946,036,736 56,929,259,520 ↘ 16,777,216 -0.03%
gc-totalBytes 126,980,545,808 127,020,858,736 ↗ 40,312,928 0.03%
list-bytes 3,592,330,080 3,594,835,136 ↗ 2,505,056 0.07%
list-concats 82,748,520 82,825,103 ↗ 76,583 0.09%
list-elements 449,041,260 449,354,392 ↗ 313,132 0.07%
nrAvoided 853,489,126 853,876,927 ↗ 387,801 0.05%
nrFunctionCalls 673,086,890 673,400,193 ↗ 313,303 0.05%
nrLookups 346,227,001 346,414,456 ↗ 187,455 0.05%
nrOpUpdateValuesCopied 1,892,406,208 1,892,814,047 ↗ 407,839 0.02%
nrOpUpdates 85,037,102 85,064,565 ↗ 27,463 0.03%
nrPrimOpCalls 352,753,957 352,930,627 ↗ 176,670 0.05%
nrThunks 1,048,937,660 1,049,297,977 ↗ 360,317 0.03%
sets-bytes 42,516,087,168 42,525,508,336 ↗ 9,421,168 0.02%
sets-elements 2,503,188,184 2,503,736,154 ↗ 547,970 0.02%
sets-number 154,067,264 154,108,117 ↗ 40,853 0.03%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,462,279 2,462,344 ↗ 65 0.00%
symbols-number 171,930 171,934 ↗ 4 0.00%
values-bytes 32,199,126,192 32,208,869,064 ↗ 9,742,872 0.03%
values-number 1,341,630,258 1,342,036,211 ↗ 405,953 0.03%