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

codeql: 2.18.3 -> 2.18.4 #341692

Merged
merged 1 commit into from
Sep 14, 2024

codeql: 2.18.3 -> 2.18.4

171a3b0
Select commit
Loading
Failed to load commit list.
Merged

codeql: 2.18.3 -> 2.18.4 #341692

codeql: 2.18.3 -> 2.18.4
171a3b0
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 14, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 729.98 727.39 ↘ 2.59 -0.36%
envs-bytes 23,585,781,128 23,585,781,128 0
envs-elements 1,250,983,801 1,250,983,801 0
envs-number 848,619,420 848,619,420 0
gc-heapSize 70,049,050,624 70,065,827,840 ↗ 16,777,216 0.02%
gc-totalBytes 145,765,692,048 145,765,691,184 ↘ 864 -0.00%
list-bytes 3,442,693,720 3,442,693,720 0
list-concats 90,000,556 90,000,556 0
list-elements 430,336,715 430,336,715 0
nrAvoided 982,963,742 982,963,742 0
nrFunctionCalls 778,903,402 778,903,402 0
nrLookups 408,507,677 408,507,677 0
nrOpUpdateValuesCopied 2,137,374,072 2,137,374,072 0
nrOpUpdates 98,231,483 98,231,483 0
nrPrimOpCalls 407,833,668 407,833,668 0
nrThunks 1,237,789,323 1,237,789,323 0
sets-bytes 48,431,142,400 48,431,142,400 0
sets-elements 2,844,110,188 2,844,110,188 0
sets-number 182,836,212 182,836,212 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,145,140 3,145,140 0
symbols-number 184,333 184,333 0
values-bytes 37,911,976,488 37,911,976,488 0
values-number 1,579,665,687 1,579,665,687 0