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

staging-next 2023-09-17 #255658

Merged
merged 232 commits into from
Sep 27, 2023

oq: fix tests with jq-1.7

c564a12
Select commit
Loading
Failed to load commit list.
Merged

staging-next 2023-09-17 #255658

oq: fix tests with jq-1.7
c564a12
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 27, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 484.03 482.74 ↘ 1.29 -0.27%
envs-bytes 19,240,350,264 19,241,592,200 ↗ 1,241,936 0.01%
envs-elements 980,471,845 980,577,255 ↗ 105,410 0.01%
envs-number 712,285,969 712,310,885 ↗ 24,916 0.00%
gc-heapSize 47,617,904,640 47,936,675,840 ↗ 318,771,200 0.67%
gc-totalBytes 105,466,932,544 105,475,102,064 ↗ 8,169,520 0.01%
list-bytes 2,948,993,544 2,947,897,016 ↘ 1,096,528 -0.04%
list-concats 49,847,623 49,826,748 ↘ 20,875 -0.04%
list-elements 368,624,193 368,487,127 ↘ 137,066 -0.04%
nrAvoided 895,905,135 896,008,156 ↗ 103,021 0.01%
nrFunctionCalls 649,143,898 649,153,542 ↗ 9,644 0.00%
nrLookups 470,725,174 470,722,109 ↘ 3,065 -0.00%
nrOpUpdateValuesCopied 1,345,769,564 1,345,783,531 ↗ 13,967 0.00%
nrOpUpdates 64,188,021 64,186,198 ↘ 1,823 -0.00%
nrPrimOpCalls 401,579,241 401,624,901 ↗ 45,660 0.01%
nrThunks 936,562,774 936,687,835 ↗ 125,061 0.01%
sets-bytes 31,044,428,608 31,046,405,136 ↗ 1,976,528 0.01%
sets-elements 1,795,068,261 1,795,168,781 ↗ 100,520 0.01%
sets-number 145,208,527 145,231,540 ↗ 23,013 0.02%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,126,307 2,126,408 ↗ 101 0.00%
symbols-number 158,398 158,406 ↗ 8 0.01%
values-bytes 27,984,600,360 27,987,300,408 ↗ 2,700,048 0.01%
values-number 1,166,025,015 1,166,137,517 ↗ 112,502 0.01%