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: Drop samueldr #321436

Merged

maintainers: Drop samueldr

8477d0c
Select commit
Loading
Failed to load commit list.
Merged

maintainers: Drop samueldr #321436

maintainers: Drop samueldr
8477d0c
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jun 21, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 765.07 708.09 ↘ 56.98 -7.45%
envs-bytes 21,727,770,120 21,727,465,848 ↘ 304,272 -0.00%
envs-elements 1,142,943,909 1,142,928,087 ↘ 15,822 -0.00%
envs-number 786,513,678 786,502,572 ↘ 11,106 -0.00%
gc-heapSize 63,640,145,920 63,640,150,016 ↗ 4,096 0.00%
gc-totalBytes 133,918,967,648 133,915,937,232 ↘ 3,030,416 -0.00%
list-bytes 3,966,146,224 3,966,094,464 ↘ 51,760 -0.00%
list-concats 89,593,157 89,592,151 ↘ 1,006 -0.00%
list-elements 495,768,278 495,761,808 ↘ 6,470 -0.00%
nrAvoided 915,178,316 915,165,212 ↘ 13,104 -0.00%
nrFunctionCalls 723,733,679 723,723,342 ↘ 10,337 -0.00%
nrLookups 377,415,755 377,410,664 ↘ 5,091 -0.00%
nrOpUpdateValuesCopied 1,938,643,800 1,938,536,203 ↘ 107,597 -0.01%
nrOpUpdates 89,223,513 89,222,198 ↘ 1,315 -0.00%
nrPrimOpCalls 379,899,040 379,893,447 ↘ 5,593 -0.00%
nrThunks 1,118,186,474 1,118,168,079 ↘ 18,395 -0.00%
sets-bytes 43,970,286,176 43,968,304,096 ↘ 1,982,080 -0.00%
sets-elements 2,581,920,526 2,581,799,344 ↘ 121,182 -0.00%
sets-number 166,222,360 166,219,662 ↘ 2,698 -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,497,276 2,497,243 ↘ 33 -0.00%
symbols-number 174,108 174,105 ↘ 3 -0.00%
values-bytes 34,337,623,896 34,337,263,560 ↘ 360,336 -0.00%
values-number 1,430,734,329 1,430,719,315 ↘ 15,014 -0.00%