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-list: create a field inactivityReason #310759

Closed
wants to merge 2 commits into from

maintainers-list: document `inactivityReason` in-code

aad34d1
Select commit
Loading
Failed to load commit list.
Closed

maintainers-list: create a field inactivityReason #310759

maintainers-list: document `inactivityReason` in-code
aad34d1
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jul 7, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 705.68 687.43 ↘ 18.26 -2.59%
envs-bytes 21,715,811,800 21,715,811,800 0
envs-elements 1,142,887,909 1,142,887,909 0
envs-number 785,794,283 785,794,283 0
gc-heapSize 62,381,854,720 62,381,854,720 0
gc-totalBytes 133,900,053,392 133,900,055,552 ↗ 2,160 0.00%
list-bytes 3,810,109,224 3,810,109,224 0
list-concats 88,117,677 88,117,677 0
list-elements 476,263,653 476,263,653 0
nrAvoided 914,054,040 914,054,040 0
nrFunctionCalls 722,767,365 722,767,365 0
nrLookups 370,346,415 370,346,415 0
nrOpUpdateValuesCopied 1,953,079,544 1,953,079,544 0
nrOpUpdates 89,534,077 89,534,077 0
nrPrimOpCalls 378,769,405 378,769,405 0
nrThunks 1,121,801,756 1,121,801,756 0
sets-bytes 44,249,158,816 44,249,158,816 0
sets-elements 2,598,914,609 2,598,914,609 0
sets-number 166,657,817 166,657,817 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,493,019 2,493,019 0
symbols-number 174,310 174,310 0
values-bytes 34,460,793,576 34,460,793,576 0
values-number 1,435,866,399 1,435,866,399 0