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

strictdoc: cleanup file after pkgs/by-name move #297738

Merged
merged 1 commit into from Mar 21, 2024

strictdoc: cleanup file after pkgs/by-name move

5af1df8
Select commit
Failed to load commit list.
Merged

strictdoc: cleanup file after pkgs/by-name move #297738

strictdoc: cleanup file after pkgs/by-name move
5af1df8
Select commit
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Mar 21, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 541.41 591.35 ↗ 49.94 9.22%
envs-bytes 18,154,527,752 18,154,527,752 0
envs-elements 956,892,877 956,892,877 0
envs-number 656,211,546 656,211,546 0
gc-heapSize 53,741,588,480 53,741,588,480 0
gc-totalBytes 114,800,102,864 114,800,116,640 ↗ 13,776 0.00%
list-bytes 2,636,176,248 2,636,176,248 0
list-concats 71,020,580 71,020,580 0
list-elements 329,522,031 329,522,031 0
nrAvoided 751,979,055 751,979,055 0
nrFunctionCalls 601,841,409 601,841,409 0
nrLookups 338,634,588 338,634,588 0
nrOpUpdateValuesCopied 1,721,682,752 1,721,682,752 0
nrOpUpdates 81,257,696 81,257,696 0
nrPrimOpCalls 307,756,933 307,756,933 0
nrThunks 954,039,291 954,039,291 0
sets-bytes 38,873,854,032 38,873,854,032 0
sets-elements 2,285,784,794 2,285,784,794 0
sets-number 143,831,083 143,831,083 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,321,900 2,321,900 0
symbols-number 167,138 167,138 0
values-bytes 29,390,392,824 29,390,392,824 0
values-number 1,224,599,701 1,224,599,701 0