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

php: add optional phpSrc attribute #254556

Merged
merged 1 commit into from
Nov 8, 2023

php: add `phpSrc` attribute

e0699b8
Select commit
Loading
Failed to load commit list.
Merged

php: add optional phpSrc attribute #254556

php: add `phpSrc` attribute
e0699b8
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 13, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 482.15 481.12 ↘ 1.02 -0.21%
envs-bytes 19,179,121,384 19,179,329,472 ↗ 208,088 0.00%
envs-elements 977,758,189 977,769,408 ↗ 11,219 0.00%
envs-number 709,815,992 709,823,388 ↗ 7,396 0.00%
gc-heapSize 47,651,463,168 47,651,459,072 ↘ 4,096 -0.00%
gc-totalBytes 105,380,835,872 105,381,873,088 ↗ 1,037,216 0.00%
list-bytes 2,941,499,048 2,941,524,720 ↗ 25,672 0.00%
list-concats 49,948,453 49,949,133 ↗ 680 0.00%
list-elements 367,687,381 367,690,590 ↗ 3,209 0.00%
nrAvoided 893,010,615 893,020,384 ↗ 9,769 0.00%
nrFunctionCalls 647,042,679 647,049,561 ↗ 6,882 0.00%
nrLookups 470,401,204 470,407,326 ↗ 6,122 0.00%
nrOpUpdateValuesCopied 1,357,137,522 1,357,150,826 ↗ 13,304 0.00%
nrOpUpdates 64,274,509 64,275,319 ↗ 810 0.00%
nrPrimOpCalls 399,943,111 399,947,086 ↗ 3,975 0.00%
nrThunks 934,050,923 934,061,600 ↗ 10,677 0.00%
sets-bytes 31,194,213,840 31,194,512,528 ↗ 298,688 0.00%
sets-elements 1,804,857,315 1,804,874,733 ↗ 17,418 0.00%
sets-number 144,781,050 144,782,300 ↗ 1,250 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,246,079 2,246,113 ↗ 34 0.00%
symbols-number 161,150 161,153 ↗ 3 0.00%
values-bytes 27,903,960,960 27,904,245,120 ↗ 284,160 0.00%
values-number 1,162,665,040 1,162,676,880 ↗ 11,840 0.00%