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

dotnet: infrastructure improvements #336824

Merged
merged 36 commits into from
Sep 17, 2024

doc/languages-frameworks/dotnet: improve documenation of fetch-deps

d8bd63a
Select commit
Loading
Failed to load commit list.
Merged

dotnet: infrastructure improvements #336824

doc/languages-frameworks/dotnet: improve documenation of fetch-deps
d8bd63a
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 17, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 763.32 763.01 ↘ 0.32 -0.04%
envs-bytes 23,668,706,008 23,706,902,368 ↗ 38,196,360 0.16%
envs-elements 1,255,353,073 1,257,399,984 ↗ 2,046,911 0.16%
envs-number 851,617,589 852,981,406 ↗ 1,363,817 0.16%
gc-heapSize 69,159,849,984 69,143,076,864 ↘ 16,773,120 -0.02%
gc-totalBytes 146,238,236,336 146,431,818,048 ↗ 193,581,712 0.13%
list-bytes 3,451,046,504 3,455,614,072 ↗ 4,567,568 0.13%
list-concats 90,322,156 90,482,919 ↗ 160,763 0.18%
list-elements 431,380,813 431,951,759 ↗ 570,946 0.13%
nrAvoided 986,725,560 988,345,072 ↗ 1,619,512 0.16%
nrFunctionCalls 781,749,089 782,979,613 ↗ 1,230,524 0.16%
nrLookups 410,024,085 410,799,653 ↗ 775,568 0.19%
nrOpUpdateValuesCopied 2,143,781,696 2,146,114,348 ↗ 2,332,652 0.11%
nrOpUpdates 98,590,322 98,743,216 ↗ 152,894 0.16%
nrPrimOpCalls 409,339,966 410,055,987 ↗ 716,021 0.17%
nrThunks 1,241,991,912 1,244,115,352 ↗ 2,123,440 0.17%
sets-bytes 48,573,505,696 48,629,060,848 ↗ 55,555,152 0.11%
sets-elements 2,852,445,481 2,855,660,887 ↗ 3,215,406 0.11%
sets-number 183,398,625 183,655,416 ↗ 256,791 0.14%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,146,653 3,148,152 ↗ 1,499 0.05%
symbols-number 184,426 184,495 ↗ 69 0.04%
values-bytes 38,043,557,688 38,098,528,968 ↗ 54,971,280 0.14%
values-number 1,585,148,237 1,587,438,707 ↗ 2,290,470 0.14%