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

[Backport release-23.11] add "check cherry-picks" github action #302653

Merged
merged 1 commit into from
Apr 8, 2024

add "Check cherry-picks" github action

cbc040e
Select commit
Loading
Failed to load commit list.
Merged

[Backport release-23.11] add "check cherry-picks" github action #302653

add "Check cherry-picks" github action
cbc040e
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Apr 8, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 475.00 475.27 ↗ 0.27 0.06%
envs-bytes 17,307,873,000 17,307,873,000 0
envs-elements 903,663,213 903,663,213 0
envs-number 629,910,456 629,910,456 0
gc-heapSize 51,979,984,896 51,979,980,800 ↘ 4,096 -0.00%
gc-totalBytes 102,576,123,728 102,576,132,480 ↗ 8,752 0.00%
list-bytes 2,437,564,448 2,437,564,448 0
list-concats 53,004,100 53,004,100 0
list-elements 304,695,556 304,695,556 0
nrAvoided 764,845,861 764,845,861 0
nrFunctionCalls 586,937,947 586,937,947 0
nrLookups 325,578,279 325,578,279 0
nrOpUpdateValuesCopied 1,480,679,854 1,480,679,854 0
nrOpUpdates 68,259,375 68,259,375 0
nrPrimOpCalls 289,537,968 289,537,968 0
nrThunks 830,462,083 830,462,083 0
sets-bytes 32,821,964,128 32,821,964,128 0
sets-elements 1,932,663,279 1,932,663,279 0
sets-number 118,709,479 118,709,479 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,192,667 2,192,667 0
symbols-number 161,328 161,328 0
values-bytes 25,943,118,864 25,943,118,864 0
values-number 1,080,963,286 1,080,963,286 0