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

maintainers: remove pennae #323845

Merged
merged 1 commit into from
Jul 1, 2024

maintainers: remove pennae

5c5aaaa
Select commit
Loading
Failed to load commit list.
Merged

maintainers: remove pennae #323845

maintainers: remove pennae
5c5aaaa
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jul 1, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 672.26 669.86 ↘ 2.40 -0.36%
envs-bytes 21,643,907,184 21,643,909,056 ↗ 1,872 0.00%
envs-elements 1,139,869,902 1,139,869,996 ↗ 94 0.00%
envs-number 782,809,248 782,809,318 ↗ 70 0.00%
gc-heapSize 63,254,274,048 63,271,051,264 ↗ 16,777,216 0.03%
gc-totalBytes 133,730,863,456 133,730,884,016 ↗ 20,560 0.00%
list-bytes 3,783,701,328 3,783,701,152 ↘ 176 -0.00%
list-concats 87,207,860 87,207,860 0
list-elements 472,962,666 472,962,644 ↘ 22 -0.00%
nrAvoided 910,632,633 910,632,729 ↗ 96 0.00%
nrFunctionCalls 719,913,251 719,913,303 ↗ 52 0.00%
nrLookups 374,139,502 374,139,518 ↗ 16 0.00%
nrOpUpdateValuesCopied 1,943,464,199 1,943,464,186 ↘ 13 -0.00%
nrOpUpdates 89,370,775 89,370,781 ↗ 6 0.00%
nrPrimOpCalls 377,243,514 377,243,538 ↗ 24 0.00%
nrThunks 1,118,309,837 1,118,309,906 ↗ 69 0.00%
sets-bytes 44,073,461,488 44,073,461,328 ↘ 160 -0.00%
sets-elements 2,588,099,307 2,588,099,276 ↘ 31 -0.00%
sets-number 166,492,036 166,492,057 ↗ 21 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,486,678 2,486,672 ↘ 6 -0.00%
symbols-number 173,881 173,880 ↘ 1 -0.00%
values-bytes 34,343,867,304 34,343,868,720 ↗ 1,416 0.00%
values-number 1,430,994,471 1,430,994,530 ↗ 59 0.00%